Question

Are Infinite Time Turing Machines able to determine whether an arbitrary (well-founded) system of fundamental sequences is, in fact, well-founded?

score 88 · Answer 1 · 2019-12-04 05:06:30

Are Infinite Time Turing Machines able to determine whether an arbitrary (well-founded) system of fundamental sequences is, in fact, well-founded?

score 75 · Answer 2 · 2026-02-23 06:40:32

75

Views

The space $\omega_1$ of all countable ordinals is not completely uniformizable

Published on 23 Feb 2026 - 6:40

score 71 · Answer 3 · 2019-12-04 17:35:29

71

Views

Construction a club $C\subseteq\omega_1$ and a scale of length $\aleph_{\omega_1+1}$ in $\prod_{\alpha \in C}\aleph_{\alpha+1}/J$

Published on 04 Dec 2019 - 17:35

score 67 · Answer 4 · 2019-12-05 21:45:52

67

Views

Existence of $\omega$ ($\aleph_0$)

Published on 05 Dec 2019 - 21:45

score 245 · Answer 5 · 2026-03-26 08:00:15

245

Views

What order types can well-ordered proper classes have?

Published on 26 Mar 2026 - 8:00

score 75 · Answer 6 · 2019-12-11 19:45:44

75

Views

exact upper bound

Published on 11 Dec 2019 - 19:45

score 43 · Answer 7 · 2026-03-27 06:31:40

43

Views

Ordinal equation

Published on 27 Mar 2026 - 6:31

score 130 · Answer 8 · 2019-12-13 16:37:21

130

Views

A recurring argument about cofinal maps

Published on 13 Dec 2019 - 16:37

score 122 · Answer 9 · 2019-12-13 18:02:38

122

Views

System of inequalities with ordinal numbers

Published on 13 Dec 2019 - 18:02

score 66 · Answer 10 · 2019-12-18 11:29:39

66

Views

Von Neumann Hierarchy: missing step

Published on 18 Dec 2019 - 11:29

score 114 · Answer 11 · 2019-12-19 08:49:55

114

Views

How to demonstrate that the class of ordinal numbers is isomorphic to the class of initial ordinal ones?

Published on 19 Dec 2019 - 8:49

score 182 · Answer 12 · 2019-12-19 09:59:31

182

Views

Cardinality of a subset of an ordinal

Published on 19 Dec 2019 - 9:59

score 115 · Answer 13 · 2019-12-21 10:13:32

115

Views

Goedel well-ordering on the square of the ordinals

Published on 21 Dec 2019 - 10:13

score 138 · Answer 14 · 2019-12-22 15:34:57

138

Views

If $\lambda\neq0$ is a limit ordinal, then $1+\lambda=\lambda$?

Published on 22 Dec 2019 - 15:34

score 135 · Answer 15 · 2019-12-22 16:19:55

135

Views

Is $\omega_\alpha$ a limit ordinal for any $\alpha\neq0$?

Published on 22 Dec 2019 - 16:19

List Question

Are Infinite Time Turing Machines able to determine whether an arbitrary (well-founded) system of fundamental sequences is, in fact, well-founded?

The space $\omega_1$ of all countable ordinals is not completely uniformizable

Construction a club $C\subseteq\omega_1$ and a scale of length $\aleph_{\omega_1+1}$ in $\prod_{\alpha \in C}\aleph_{\alpha+1}/J$

Existence of $\omega$ ($\aleph_0$)

What order types can well-ordered proper classes have?

exact upper bound

Ordinal equation

A recurring argument about cofinal maps

System of inequalities with ordinal numbers

Von Neumann Hierarchy: missing step

How to demonstrate that the class of ordinal numbers is isomorphic to the class of initial ordinal ones?

Cardinality of a subset of an ordinal

Goedel well-ordering on the square of the ordinals

If $\lambda\neq0$ is a limit ordinal, then $1+\lambda=\lambda$?

Is $\omega_\alpha$ a limit ordinal for any $\alpha\neq0$?

Trending Questions

Popular # Hahtags

Popular Questions