Difference between revisions of "Upper attic"

From Cantor's Attic
Jump to: navigation, search
Line 21: Line 21:
 
* '''[[superstrong]]''' cardinal
 
* '''[[superstrong]]''' cardinal
 
* [[Shelah]] cardinal
 
* [[Shelah]] cardinal
* The '''[[axiom of determinacy]]'''
+
* The '''[[axiom of determinacy]]''' and [[axiom of projective determinacy|its projective counterpart]]
 
* '''[[Woodin]]''' cardinal
 
* '''[[Woodin]]''' cardinal
 
* '''[[strong]]''' cardinal and the [[strong | $\theta$-strong]] and [[strong#Hypermeasurable | hypermeasurability]] hierarchy
 
* '''[[strong]]''' cardinal and the [[strong | $\theta$-strong]] and [[strong#Hypermeasurable | hypermeasurability]] hierarchy

Revision as of 13:33, 31 October 2017

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.