Difference between revisions of "Lower attic"

From Cantor's Attic
Jump to: navigation, search
Line 2: Line 2:
  
 
* Up to [[The middle attic]]
 
* Up to [[The middle attic]]
* $\omega_1^x$
+
 
 +
* [[admissible#relativized_admissible | $\omega_1^x$]]
 
* [[admissible]] ordinals
 
* [[admissible]] ordinals
* $\Gamma$
+
* [[Gamma | $\Gamma$]]
* $\omega_1^{ck}$
+
* [[Church-Kleene omega_1 | $\omega_1^{ck}$]]
* The $\epsilon_\alpha$ hierarchy
+
* [epsilon0#epsilon_alpha | the $\epsilon_\alpha$ hierarchy]]
* $\epsilon_1$
+
* [[epsilon0#epsilon_1 | $\epsilon_1$]]
* $\epsilon_0$
+
* [[epsilon0 | $\epsilon_0$]]
 
* Ordinals below $\omega^\omega$
 
* Ordinals below $\omega^\omega$
* $\omega^3$
+
* [[small countable ordinals | small countably infinite ordinals]]  
* $\omega^2$
+
* [[Hilberts hotel | Hilbert's hotel]]
* $\omega\cdot n+k$
+
* $\omega\cdot2+1$
+
* $\omega\cdot2$
+
* $\omega+n$
+
* $\omega+2$
+
* [[$\omega+1$]]
+
* [[Hilbert' hotel]]
+
 
* [[<math>\omega</math>]]
 
* [[<math>\omega</math>]]

Revision as of 20:52, 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.