Question

For which countable successor ordinals $\alpha$ is the reverse order isomorphic to the ideals of a PID ordered by inclusion?

score 111 · Answer 1 · 2014-12-31 14:16:18

111

Views

For which countable successor ordinals $\alpha$ is the reverse order isomorphic to the ideals of a PID ordered by inclusion?

Published on 31 Dec 2014 - 14:16

score 595 · Answer 2 · 2015-01-01 14:18:31

595

Views

Subsets of the rationals order isomorphic to transfinite ordinals

Published on 01 Jan 2015 - 14:18

score 211 · Answer 3 · 2015-01-01 15:02:28

211

Views

Prove that $\forall\alpha\geq\omega$, $|L_\alpha|=|\alpha|$ without AC

Published on 01 Jan 2015 - 15:02

score 55 · Answer 4 · 2019-10-04 20:49:40

Prove using ordinal induction that for any two ordinals $\alpha$ and $\beta$, if $\alpha \in \beta$ then $S(\alpha)$ $\in$ $S(\beta)$

score 95 · Answer 5 · 2019-10-18 05:41:57

Does there exist a countable ordinal $\alpha$ such that a well-order of order type $\alpha$ is not recognizable by an Infinite Time Turing Machine?

score 155 · Answer 6 · 2019-10-20 12:40:15

155

Views

Question Regarding Ordinals

Published on 20 Oct 2019 - 12:40

score 178 · Answer 7 · 2019-10-21 20:29:01

178

Views

Eventual Writability (general)

Published on 21 Oct 2019 - 20:29

score 57 · Answer 8 · 2019-10-27 10:59:31

57

Views

Is this kind of addition of ordinals incremental?

Published on 27 Oct 2019 - 10:59

score 37 · Answer 9 · 2019-10-27 19:19:37

37

Views

Can this alternative addition operation on ordinals be incremental?

Published on 27 Oct 2019 - 19:19

score 102 · Answer 10 · 2019-10-29 05:47:27

102

Views

Why $\{ Potato, \{ Potato \} \}$ is not a transitive set?

Published on 29 Oct 2019 - 5:47

score 78 · Answer 11 · 2019-11-01 23:44:07

78

Views

What do we call a function that converges with composition over greater than $\omega$ times?

Published on 01 Nov 2019 - 23:44

score 135 · Answer 12 · 2019-11-03 23:51:10

135

Views

Question Involving Strength of Fodor's Lemma, CH Assumption

Published on 03 Nov 2019 - 23:51

score 159 · Answer 13 · 2019-11-05 00:23:44

159

Views

$(\omega^{\omega}, \in)$ is not elementary equivalent to $(\aleph_1, \in)$

Published on 05 Nov 2019 - 0:23

score 46 · Answer 14 · 2026-03-26 17:27:12

46

Views

Is an initial segment of a convergent ordinal-indexed sequence convergent?

Published on 26 Mar 2026 - 17:27

score 267 · Answer 15 · 2026-03-26 01:50:54

267

Views

Is the limit of a recursively defined ordinal-indexed sequence always a fixed point?

Published on 26 Mar 2026 - 1:50

List Question

For which countable successor ordinals $\alpha$ is the reverse order isomorphic to the ideals of a PID ordered by inclusion?

Subsets of the rationals order isomorphic to transfinite ordinals

Prove that $\forall\alpha\geq\omega$, $|L_\alpha|=|\alpha|$ without AC

Prove using ordinal induction that for any two ordinals $\alpha$ and $\beta$, if $\alpha \in \beta$ then $S(\alpha)$ $\in$ $S(\beta)$

Does there exist a countable ordinal $\alpha$ such that a well-order of order type $\alpha$ is not recognizable by an Infinite Time Turing Machine?

Question Regarding Ordinals

Eventual Writability (general)

Is this kind of addition of ordinals incremental?

Can this alternative addition operation on ordinals be incremental?

Why $\{ Potato, \{ Potato \} \}$ is not a transitive set?

What do we call a function that converges with composition over greater than $\omega$ times?

Question Involving Strength of Fodor's Lemma, CH Assumption

$(\omega^{\omega}, \in)$ is not elementary equivalent to $(\aleph_1, \in)$

Is an initial segment of a convergent ordinal-indexed sequence convergent?

Is the limit of a recursively defined ordinal-indexed sequence always a fixed point?

Trending Questions

Popular # Hahtags

Popular Questions