MATH
Login Or Sign up

List Question

15
132
Views

Existence of supremum of a set of ordinals

Published on
#proof-explanation #set-theory #ordinals
47
Views

What is the weakest proof-theoretic system needed to define $\pi$?

Published on
#ordinals
116
Views

Question about a proof that any well-ordered set is isomorphic to a unique ordinal

Published on
#proof-explanation #set-theory #ordinals #well-orders
90
Views

Is the set difference of two different limit ordinals always infinite

Published on
#set-theory #ordinals
274
Views

What is an example of a statement equivalent to $\omega^{\omega}$-induction?

Published on
#logic #set-theory #ordinals #foundations #ordinal-analysis
72
Views

Why is $|W(\omega_1)| = |\mathbb{R}|$?

Published on
#set-theory #cardinals #ordinals
138
Views

What is the meaning of "induction up to a given ordinal"?

Published on
#logic #set-theory #ordinals #foundations #well-orders
181
Views

Exercise 5.11 - Ch.6 in "Introduction to Set Theory" by Hrbacek and Jech

Published on
#set-theory #order-theory #ordinals
61
Views

The property of the sum and product of ordered numbers

Published on
#inequality #elementary-set-theory #ordinals
278
Views

How to use $\uparrow$ to define an explicit bijective mapping $f:\varepsilon_{1}\rightarrow\mathbb{N}$?

Published on
#elementary-set-theory #ordinals #tetration #hyperoperation
58
Views

How valid are the statements of ZFC being consistent up to very extreme ordinals?

Published on
#set-theory #ordinals #incompleteness
73
Views

Question about a proof that addition from the left preserves the order of ordinals

Published on
#elementary-set-theory #proof-explanation #ordinals
89
Views

Is it true that $L_\alpha \prec L_\beta$ implies that $V_\alpha\prec V_\beta$?

Published on
#set-theory #ordinals
651
Views

Why do we need "canonical" well-orders?

Published on
#soft-question #set-theory #cardinals #ordinals #well-orders
70
Views

Special Aronszajn tree actually has continuum cardinality?

Published on
#set-theory #order-theory #cardinals #trees #ordinals

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.