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#epsilon_alpha | the $\epsilon_\alpha$ hierarchy]] | + | * [[epsilon0#epsilon_alpha | the $\epsilon_\alpha$ hierarchy]] |
* [[epsilon0#epsilon_1 | $\epsilon_1$]] | * [[epsilon0#epsilon_1 | $\epsilon_1$]] | ||
* [[epsilon0 | $\epsilon_0$]] | * [[epsilon0 | $\epsilon_0$]] |
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