Difference between revisions of "Upper attic"

From Cantor's Attic
Jump to: navigation, search
Line 1: Line 1:
 
Welcome to the upper attic, where we store all the various large cardinals that are too large to prove to exist in the usual ZFC axioms of set theory.  
 
Welcome to the upper attic, where we store all the various large cardinals that are too large to prove to exist in the usual ZFC axioms of set theory.  
  
 
+
* [[inconsistency]]
 
* [[Reinhardt]] cardinal
 
* [[Reinhardt]] cardinal
 
* [[super n-huge]] cardinal
 
* [[super n-huge]] cardinal
Line 10: Line 10:
 
* [[supercompact]] cardinal
 
* [[supercompact]] cardinal
 
* [[strongly compact]] cardinal
 
* [[strongly compact]] cardinal
 +
* [[Woodin]] cardinal
 
* [[strong]] cardinal
 
* [[strong]] cardinal
 
* [[tall]] cardinal
 
* [[tall]] cardinal

Revision as of 06:15, 18 December 2011

Welcome to the upper attic, where we store all the various large cardinals that are too large to prove to exist in the usual ZFC axioms of set theory.