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.

View the Project on GitHub neugierde/cantors-attic

**Quick navigation**

The upper attic

The middle attic

The lower attic

The parlour

The playroom

The library

The cellar

**Sources**

Cantor's Attic (original site)

Joel David Hamkins blog post about the Attic

Latest working snapshot at the wayback machine

The *beth numbers* $\beth_\alpha$ are defined by transfinite
recursion:

- $\beth_0=\aleph_0$
- $\beth_{\alpha+1}=2^{\beth_\alpha}$
- $\beth_\lambda=\sup_{\alpha\lt\lambda}\beth_\alpha$, for limit ordinals $\lambda$

Thus, the beth numbers are the cardinalities arising from iterating the power set operation. It follows by a simple recursive argument that $|V_{\omega+\alpha}|=\beth_\alpha$.

The number $\beth_1$ is $2^{\aleph_0}$, the cardinality of the power set $P(\aleph_0)$, which is the same as the continuum. The continuum hypothesis is equivalent to the assertion that $\aleph_1=\beth_1$. The generalized continuum hypothesis is equivalent to the assertion that $\beth_\alpha=\aleph_\alpha$ for all ordinals $\alpha$.

The cardinal $\beth_\omega$ is the smallest uncountable cardinal exhibiting the interesting property that whenever a set $X$ has cardinality less than $\beth_\omega$, then also the power set $P(X)$ also has size less than $\beth_\omega$.

More generally, a cardinal $\kappa$ is a *strong limit cardinal* if
whenever $\gamma\lt\kappa$, then $2^\gamma\lt\kappa$. Thus, the
strong limit cardinals are those cardinals closed under the exponential
operation. The strong limit cardinals are precisely the cardinals of the
form $\beth_\lambda$ for a limit ordinal $\lambda$.

A cardinal $\kappa$ is a *$\beth$-fixed point* when
$\kappa=\beth_\kappa$. Just as in the construction of
aleph fixed points,
we may similar construct beth fixed points: begin with any cardinal
$\beta_0$ and let $\beta_{n+1}=\beth_{\beta_n}$; it follows that
$\kappa=\sup_n\beta_n$ is a $\beth$-fixed point, since
$\beth_\kappa=\sup_n\beth_{\beta_n}=\sup_n\beta_{n+1}=\kappa$.
One may similarly construct $\beth$-fixed points of any desired
cardinality, and indeed, the class of $\beth$-fixed points are
precisely the closure points of the function
$\alpha\mapsto\beth_\alpha$ and therefore form a closed unbounded
proper class of cardinals. Every $\beth$-fixed point is an
$\aleph$-fixed point as well. Since every model of ZFC satisfies the
existence of a $\beth$-fixed point, it follows that no model of ZFC
satisfies $\forall\alpha >0(\beth_\alpha>\aleph_\alpha)$.