# Difference between revisions of "Middle attic"

From Cantor's Attic

Line 11: | Line 11: | ||

* [[beth omega | $\beth_\omega$]] and the [[strong limit]] cardinals | * [[beth omega | $\beth_\omega$]] and the [[strong limit]] cardinals | ||

* the [[continuum]] | * the [[continuum]] | ||

+ | * [[cardinal characteristics of the continuum]] | ||

+ | ** the [[bounding number | bounding number $\frak{b}$]], the [[dominating number | dominating number $\frak{d}$]], the [[covering number | covering numbers]], [[additivity number | additivity numbers]] and many more | ||

* [[aleph#aleph fixed point | $\aleph$-fixed point]] | * [[aleph#aleph fixed point | $\aleph$-fixed point]] | ||

* the [[aleph]] numbers and the [[aleph | $\aleph_\alpha$ hierarchy]] | * the [[aleph]] numbers and the [[aleph | $\aleph_\alpha$ hierarchy]] |

## Revision as of 06:31, 9 January 2012

Welcome to the middle attic, where the uncountable cardinals, that solid stock of mathematics, begin their endless upward structural progession. Here, we survey the infinite cardinals whose existence can be proved in, or is at least equiconsistent with, the ZFC axioms of set theory.

- into the upper attic
- fully reflecting cardinals, $V_\delta\prec V$ and the Feferman theory
- $\Sigma_2$ reflecting and $\Sigma_n$-reflecting cardinals
- $\beth$-fixed point
- the beth numbers and the $\beth_\alpha$ hierarchy
- $\beth_\omega$ and the strong limit cardinals
- the continuum
- cardinal characteristics of the continuum
- the bounding number $\frak{b}$, the dominating number $\frak{d}$, the covering numbers, additivity numbers and many more

- $\aleph$-fixed point
- the aleph numbers and the $\aleph_\alpha$ hierarchy
- $\aleph_\omega$ and singular cardinals
- $\aleph_2$, the second uncountable cardinal
- uncountable, regular and successor cardinals
- $\aleph_1$, the first uncountable cardinal
- cardinals, infinite cardinals
- $\aleph_0$ and the rest of the lower attic