Difference between revisions of "Upper attic"

From Cantor's Attic
Jump to: navigation, search
Line 40: Line 40:
 
* [[Mahlo]] cardinal
 
* [[Mahlo]] cardinal
 
* [[ORD is Mahlo]]
 
* [[ORD is Mahlo]]
* [[reflecting#inaccessible reflecting | inaccessible $\Sigma_2$-reflecting]], [[reflecting#inaccessible reflecting | inaccessible $\Sigma_n$-reflecting]] and [[reflecting#inaccessible reflecting | inaccessible reflecting]] cardinals
+
* [[reflecting#inaccessible reflecting | inaccessible $\Sigma_2$-reflecting]], [[reflecting#inaccessible reflecting | inaccessible $\Sigma_n$-reflecting]] and [[reflecting#inaccessible reflecting cardinal| inaccessible reflecting]] cardinals
 
* [[inaccessible#degrees of inaccessibility | $1$-inaccessible]], the [[inaccessible#degrees of inaccessibility | $\alpha$-inaccessible]] hierarchy and  [[inaccessible#hyper-inaccessible | hyper-inaccessible]] cardinals
 
* [[inaccessible#degrees of inaccessibility | $1$-inaccessible]], the [[inaccessible#degrees of inaccessibility | $\alpha$-inaccessible]] hierarchy and  [[inaccessible#hyper-inaccessible | hyper-inaccessible]] cardinals
 
* [[inaccessible#Universes | Grothendieck universe axiom]], equivalent to the existence of a proper class of [[inaccessible]] cardinals
 
* [[inaccessible#Universes | Grothendieck universe axiom]], equivalent to the existence of a proper class of [[inaccessible]] cardinals

Revision as of 05:28, 30 December 2011

Cape Pogue Lighthouse photo by Timothy Valentine

Welcome to the upper attic, the transfinite realm of large cardinals, the higher infinite, carrying us upward from the merely inaccessible and indescribable to the subtle and endlessly extendible concepts beyond, towards the calamity of inconsistency.