MATH
Login Or Sign up

List Question

15
121
Views

Computation of Length of Terminating Sequences of Infinite Ordinals

Published on
#set-theory #ordinals
490
Views

How are sets defined in reverse mathematics?

Published on
#logic #set-theory #axioms #reverse-math #second-order-logic
514
Views

How do we know that model existence implies consistency?

Published on
#logic #set-theory #model-theory
89
Views

Does the Dense Ordering Principle imply the Order-Extension Principle? What about the converse?

Published on
#set-theory #axiom-of-choice
159
Views

Is there a modified Cartesian product that accounts for order?

Published on
#functions #set-theory #order-theory
67
Views

Internal Set Theory: Start with nonstandard finite E, then the standard subset of E is infinite?

Published on
#set-theory #nonstandard-models
147
Views

A model of extensionality

Published on
#set-theory #model-theory
187
Views

ZFC plus HOL-Standardness

Published on
#logic #set-theory #proof-theory #higher-order-logic #second-order-logic
269
Views

Proving the sum of two finite cardinal numbers is finite

Published on
#proof-verification #set-theory #cardinals
368
Views

What is the consistency strength of generalized failure of the continuum hypothesis.

Published on
#set-theory #first-order-logic
41
Views

For cardinals $a,b,b'$, if $a\ge 2$ and $b<b'$, then $a^b <a^{b'}$

Published on
#set-theory #cardinals
131
Views

For ordinals, if $\beta \leq \alpha < \beta + \gamma$ then $\alpha = \beta + \delta$ for some $\delta < \gamma$

Published on
#set-theory #ordinals
82
Views

A finite model of power set

Published on
#proof-verification #set-theory
85
Views

Internal Set Theory: extensionality (set equality)

Published on
#set-theory #nonstandard-models
102
Views

Are the following size rules taken from the herediarily finite world consistent with ZFC?

Published on
#set-theory #first-order-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.