Question

Confusion in the definition of Ordinal Arithmetic

score 64 · Answer 1 · 2023-03-19 11:56:18

64

Views

Confusion in the definition of Ordinal Arithmetic

Published on 19 Mar 2023 - 11:56

score 71 · Answer 2 · 2026-03-27 05:58:08

71

Views

What does it mean that we need $_0$ induction to prove PA consistency?

Published on 27 Mar 2026 - 5:58

score 35 · Answer 3 · 2023-03-20 10:38:13

35

Views

A set of real numbers without a perfect subset

Published on 20 Mar 2023 - 10:38

score 86 · Answer 4 · 2026-03-27 14:45:41

86

Views

When should one use transfinite induction?

Published on 27 Mar 2026 - 14:45

score 38 · Answer 5 · 2023-03-22 21:33:33

38

Views

$\omega\alpha > \omega$ and $\alpha\omega = \omega$

Published on 22 Mar 2023 - 21:33

score 122 · Answer 6 · 2023-03-29 04:25:20

122

Views

Is every limit computable set in the Ershov hierarchy?

Published on 29 Mar 2023 - 4:25

score 36 · Answer 7 · 2026-03-25 09:38:06

36

Views

Defining surreal addition on signed ordinals

Published on 25 Mar 2026 - 9:38

score 159 · Answer 8 · 2023-04-06 13:46:27

159

Views

Understanding supremum of ordinals. Differences between limit ordinal and successor ordinal.

Published on 06 Apr 2023 - 13:46

score 50 · Answer 9 · 2023-04-06 22:58:59

50

Views

if $a < b$ then $a + c \leq b + c$

Published on 06 Apr 2023 - 22:58

score 92 · Answer 10 · 2023-04-10 14:08:04

92

Views

Cantor's formula for ordinals

Published on 10 Apr 2023 - 14:08

score 70 · Answer 11 · 2023-04-12 19:23:46

70

Views

$\alpha$ is a successor ordinal if and only if $\omega_\alpha$ is a successor cardinal

Published on 12 Apr 2023 - 19:23

score 52 · Answer 12 · 2026-02-23 08:39:35

52

Views

Order topology in $\omega^\alpha + 1$ and dynamical systems

Published on 23 Feb 2026 - 8:39

score 64 · Answer 13 · 2023-04-15 08:42:41

64

Views

A sequence of recursively defined sets has no $C_\beta$ with $C_{\beta}=C_{\beta+1}$

Published on 15 Apr 2023 - 8:42

score 22 · Answer 14 · 2023-04-21 20:43:23

22

Views

property of ordinal exponentiation

Published on 21 Apr 2023 - 20:43

score 78 · Answer 15 · 2023-04-25 01:02:26

78

Views

$\beta > 0$ and $\alpha \cdot \beta = \beta \implies \alpha ^{\omega} \leq \beta$

Published on 25 Apr 2023 - 1:02

List Question

Confusion in the definition of Ordinal Arithmetic

What does it mean that we need $_0$ induction to prove PA consistency?

A set of real numbers without a perfect subset

When should one use transfinite induction?

$\omega\alpha > \omega$ and $\alpha\omega = \omega$

Is every limit computable set in the Ershov hierarchy?

Defining surreal addition on signed ordinals

Understanding supremum of ordinals. Differences between limit ordinal and successor ordinal.

if $a < b$ then $a + c \leq b + c$

Cantor's formula for ordinals

$\alpha$ is a successor ordinal if and only if $\omega_\alpha$ is a successor cardinal

Order topology in $\omega^\alpha + 1$ and dynamical systems

A sequence of recursively defined sets has no $C_\beta$ with $C_{\beta}=C_{\beta+1}$

property of ordinal exponentiation

$\beta > 0$ and $\alpha \cdot \beta = \beta \implies \alpha ^{\omega} \leq \beta$

Trending Questions

Popular # Hahtags

Popular Questions