# Difference between revisions of "Lower attic"

From Cantor's Attic

Line 10: | Line 10: | ||

* [[epsilon0#epsilon_1 | $\epsilon_1$]] | * [[epsilon0#epsilon_1 | $\epsilon_1$]] | ||

* [[epsilon0 | $\epsilon_0$]] | * [[epsilon0 | $\epsilon_0$]] | ||

− | |||

* [[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:54, 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}$
- [epsilon0#epsilon_alpha | the $\epsilon_\alpha$ hierarchy]]
- $\epsilon_1$
- $\epsilon_0$
- small countably infinite ordinals
- Hilbert's hotel
- [[\(\omega\)]]