Question

Jech's proof of canonical well-ordering of $\alpha\times\alpha$.

score 148 · Answer 1 · 2023-10-25 05:10:03

148

Views

Jech's proof of canonical well-ordering of $\alpha\times\alpha$.

Published on 25 Oct 2023 - 5:10

score 48 · Answer 2 · 2023-10-29 21:04:42

48

Views

Writing infinitely long expressions in set theory

Published on 29 Oct 2023 - 21:04

score 92 · Answer 3 · 2023-10-30 22:51:39

92

Views

Using a form of the Axiom of Choice to prove the Well Ordering Theorem

Published on 30 Oct 2023 - 22:51

score 61 · Answer 4 · 2023-11-09 16:56:37

61

Views

Ordinal vs. Cardinal $0$

Published on 09 Nov 2023 - 16:56

score 93 · Answer 5 · 2026-03-25 12:28:14

93

Views

In a fast-growing hierarchy, what conditions on $(\alpha,\beta,n)$ imply $f_\alpha(n)<f_\beta(n)$?

Published on 25 Mar 2026 - 12:28

score 107 · Answer 6 · 2026-03-26 22:55:37

107

Views

What does the cardinality alone of a totally ordered set say about the ordinals that can be mapped strictly monotonically to it?

Published on 26 Mar 2026 - 22:55

score 60 · Answer 7 · 2023-11-16 17:28:46

60

Views

Show that $\{\alpha<\omega_1 : L_\alpha \prec L_{\omega_1}\}$ is closed unbounded in $\omega_1$.

Published on 16 Nov 2023 - 17:28

score 49 · Answer 8 · 2023-11-18 00:26:14

49

Views

Diamond principle for functions $\omega_1\to\omega_1$

Published on 18 Nov 2023 - 0:26

score 84 · Answer 9 · 2023-11-21 14:35:46

84

Views

Ordinal arithmetic proof: $a,b <\omega^2$ $\implies$ $a+b<\omega^2$

Published on 21 Nov 2023 - 14:35

score 64 · Answer 10 · 2023-11-22 08:00:39

64

Views

Express small, large veblen ordinal using ...... (repeat symbol) form

Published on 22 Nov 2023 - 8:00

score 98 · Answer 11 · 2023-11-25 23:21:03

98

Views

Defining fundamental sequence in advance

Published on 25 Nov 2023 - 23:21

score 102 · Answer 12 · 2026-03-25 12:51:04

102

Views

Why does proof of Zorn's lemma need to use the fact about ordinals being too large to be a set?

Published on 25 Mar 2026 - 12:51

score 60 · Answer 13 · 2023-11-26 19:12:42

60

Views

Solution verification: proof that the supremum of a set of cardinals is a cardinal

Published on 26 Nov 2023 - 19:12

score 39 · Answer 14 · 2023-11-26 20:35:53

39

Views

What is a sequence of ordinals?

Published on 26 Nov 2023 - 20:35

score 154 · Answer 15 · 2023-11-28 15:18:38

154

Views

Inequality involving ordinals

Published on 28 Nov 2023 - 15:18

List Question

Jech's proof of canonical well-ordering of $\alpha\times\alpha$.

Writing infinitely long expressions in set theory

Using a form of the Axiom of Choice to prove the Well Ordering Theorem

Ordinal vs. Cardinal $0$

In a fast-growing hierarchy, what conditions on $(\alpha,\beta,n)$ imply $f_\alpha(n)<f_\beta(n)$?

What does the cardinality alone of a totally ordered set say about the ordinals that can be mapped strictly monotonically to it?

Show that $\{\alpha<\omega_1 : L_\alpha \prec L_{\omega_1}\}$ is closed unbounded in $\omega_1$.

Diamond principle for functions $\omega_1\to\omega_1$

Ordinal arithmetic proof: $a,b <\omega^2$ $\implies$ $a+b<\omega^2$

Express small, large veblen ordinal using ...... (repeat symbol) form

Defining fundamental sequence in advance

Why does proof of Zorn's lemma need to use the fact about ordinals being too large to be a set?

Solution verification: proof that the supremum of a set of cardinals is a cardinal

What is a sequence of ordinals?

Inequality involving ordinals

Trending Questions

Popular # Hahtags

Popular Questions