Difference between revisions of "Lower attic"

From Cantor's Attic
Jump to: navigation, search
Line 2: Line 2:
  
 
*  [[aleph_1 | $\omega_1$]], the first uncountable ordinal, and the other uncountable cardinals of the [[middle attic]]
 
*  [[aleph_1 | $\omega_1$]], the first uncountable ordinal, and the other uncountable cardinals of the [[middle attic]]
 +
* [[stable]] ordinals
 
* The ordinals of [[infinite time Turing machines]], including   
 
* The ordinals of [[infinite time Turing machines]], including   
 
** [[infinite time Turing machines#Sigma | $\Sigma$]] = the supremum of the accidentally writable ordinals
 
** [[infinite time Turing machines#Sigma | $\Sigma$]] = the supremum of the accidentally writable ordinals

Revision as of 12:12, 28 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.