
This is a fork of the amazing database on large cardinals [Cantor's Attic](https://neugierde.github.io/cantors-attic/).
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](Upper_attic.md "Upper attic")
The upper attic is the realm of large cardinals and the higher infinite,
extending from inaccessibility to inconsistency.
[The middle attic](Middle_attic.md "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](Lower_attic.md "Lower attic")
The lower attic classifies various large countable ordinals.
[The parlour](Parlour.md "Parlour")
Aspiring to the attic, the parlour contains the truly vast finite
numbers.
[The playroom](Playroom.md "Playroom")
Enjoy the stimulating entertainments of the playroom, full of fun and
paradox.
[The library](Library.md "Library")
Peruse the selections of our library, the central repository of all
references cited here at Cantor's attic.
[The cellar](Cellar.md "Cellar")
Review the foundations of our subject with informative background
presentations of ideas used throughout the attic.