# Difference between revisions of "Lower attic"

From Cantor's Attic

Line 7: | Line 7: | ||

* [[Gamma | $\Gamma$]] | * [[Gamma | $\Gamma$]] | ||

* [[Church-Kleene omega_1 | $\omega_1^{ck}$]] | * [[Church-Kleene omega_1 | $\omega_1^{ck}$]] | ||

− | * [[epsilon0 | + | * [[epsilon0 | $\epsilon_0$]], [[epsilon0#epsilon_numbers | $\epsilon_1$]] and the [[epsilon0#epsilon_numbers | $\epsilon_\alpha$ hierarchy]] |

− | + | ||

* [[small countable ordinals | small countably infinite ordinals]] | * [[small countable ordinals | small countably infinite ordinals]] | ||

* [[Hilberts hotel | Hilbert's hotel]] | * [[Hilberts hotel | Hilbert's hotel]] | ||

* [[<math>\omega</math>]] | * [[<math>\omega</math>]] |

## Revision as of 20:15, 27 December 2011

Welcome to the lower attic, where we store the comparatively smaller notions of infinity. Roughly speaking, this is the realm of countable ordinals and their friends.

- Up to The middle attic

- $\omega_1^x$
- admissible ordinals
- $\Gamma$
- $\omega_1^{ck}$
- $\epsilon_0$, $\epsilon_1$ and the $\epsilon_\alpha$ hierarchy
- small countably infinite ordinals
- Hilbert's hotel
- [[\(\omega\)]]