Mathematical Reasoning
The Cantor Attic: A Database of Mathematical Cardinality
Comprehensive database of large cardinal axioms and their relationships in set theory. Important resource for researchers in mathematical logic and foundations.
About
The Cantor Attic is a comprehensive database of large cardinal axioms in set theory. It catalogs the hierarchy of large cardinals and their interrelationships.
Content
- Large cardinal axioms: From inaccessible cardinals to rank-into-rank
- Consistency strength: Implications and equiconsistencies
- History: Development of large cardinal theory
- Open problems: Current research questions
Significance
Essential reference for set theorists and researchers in mathematical foundations.
Maintained by
Joel David Hamkins (Notre Dame) and community contributors.