Difference between revisions of "Cantor's Attic"

From Cantor's Attic
Jump to: navigation, search
Line 1: Line 1:
 
[[File:DescentIntoHistoryByErnieReyes.jpg | thumb | right | Descent into History photo by Ernie Reyes]]
 
[[File:DescentIntoHistoryByErnieReyes.jpg | thumb | right | Descent into History photo by Ernie Reyes]]
  
Welcome to Cantor's Attic! Please ascend the stairs into our realm, where you will find yet more opportunities to ascend to the highest levels of infinity.  
+
Climb into Cantor's Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity. Our site is organized into several large categories:
  
; [[Upper attic | The upper attic]] : The upper attic is the realm of large cardinals and the higher infinite, extending from inaccessibility to inconsistency.  
+
:; [[Upper attic | The upper attic]] : The upper attic is the realm of large cardinals and the higher infinite, extending from inaccessibility to inconsistency.  
; [[Middle attic | The middle attic]] : The middle attic surveys the infinite cardinals whose existence can be proved in, or is at least equiconsistent with, the ZFC axioms of set theory.  
+
:; [[Middle attic | The middle attic]] : The middle attic surveys the infinite cardinals whose existence can be proved in, or is at least equiconsistent with, the ZFC axioms of set theory.  
; [[Lower attic | The lower attic]] : The lower attic classifies various large countable ordinals.
+
:; [[Lower attic | The lower attic]] : The lower attic classifies various large countable ordinals.
; [[parlour | The parlour]] : Aspiring to the attic, the parlour contains the truly vast finite numbers.
+
:; [[parlour | The parlour]] : Aspiring to the attic, the parlour contains the truly vast finite numbers.
 +
 
 +
 
 +
== How to help ==
 +
 
 +
Don't see your favorite large cardinal or ordinal? You can help! We've only just begun to build our site, and we welcome knowledgeable expert contributions from the mathematical logic community. Please see the [[community portal]] for detailed instructions on how to join our community.

Revision as of 06:20, 4 January 2012

Descent into History photo by Ernie Reyes

Climb into Cantor's Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity. Our site is organized into several large categories:

The upper attic 
The upper attic is the realm of large cardinals and the higher infinite, extending from inaccessibility to inconsistency.
The middle attic 
The middle attic surveys the infinite cardinals whose existence can be proved in, or is at least equiconsistent with, the ZFC axioms of set theory.
The lower attic 
The lower attic classifies various large countable ordinals.
The parlour 
Aspiring to the attic, the parlour contains the truly vast finite numbers.


How to help

Don't see your favorite large cardinal or ordinal? You can help! We've only just begun to build our site, and we welcome knowledgeable expert contributions from the mathematical logic community. Please see the community portal for detailed instructions on how to join our community.