Difference between revisions of "Upper attic"

From Cantor's Attic
Jump to: navigation, search
(.)
(Adding excessively compact cardinals.)
Line 4: Line 4:
 
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.  
 
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.  
  
 +
* [[hypercompact|excessively hypercompact cardinal]] (inconsistent with the axiom of choice)
 
* The [[Kunen inconsistency]]: [[Reinhardt]] cardinal, [[Kunen_inconsistency#Super_Reinhardt_cardinal | super Reinhardt]] cardinal, [[Berkeley]] cardinal
 
* The [[Kunen inconsistency]]: [[Reinhardt]] cardinal, [[Kunen_inconsistency#Super_Reinhardt_cardinal | super Reinhardt]] cardinal, [[Berkeley]] cardinal
 
* [[Rank into rank]] cardinals $j:V_\lambda\to V_\lambda$, [[rank+1 into rank+1]] cardinal $j:V_{\lambda+1}\to V_{\lambda+1}$, I0 cardinal [[L of V_lambda+1 | $j:L(V_{\lambda+1})\to L(V_{\lambda+1})$]]
 
* [[Rank into rank]] cardinals $j:V_\lambda\to V_\lambda$, [[rank+1 into rank+1]] cardinal $j:V_{\lambda+1}\to V_{\lambda+1}$, I0 cardinal [[L of V_lambda+1 | $j:L(V_{\lambda+1})\to L(V_{\lambda+1})$]]

Revision as of 06:09, 10 September 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.