This page is being constructed. It will cover issues to do with cofinality, and some applications of König's inequality on cardinals.

We assume the Axiom of Choice throughout and identify cardinals with initial ordinals. Arithmetic, such as addition, multiplication and exponentiation is always cardinal arithmetic unless stated otherwise.

Definition.

A cardinal $\kappa $ is a *successor cardinal* if it is ${\aleph}_{\alpha}$
for a successor ordinal $\alpha $. It is a *limit cardinal* if it is ${\aleph}_{\lambda}$
for a limit ordinal $\lambda $.

Definition.

A cardinal $\kappa $ is said to be *regular* if it is not the
sum of a collection ${\kappa}_{i}$ of strictly smaller cardinals,
where $i$ runs over an index set $I$ with $\text{card}\left(I\right)<\kappa $.
A cardinal is *singular* if it is not regular.

It is easy to see from ${{\aleph}_{\alpha}}^{2}={\aleph}_{\alpha}$ that if ${\kappa}_{i}\u2a7d{\aleph}_{\alpha}$ and $\text{card}\left(I\right)\u2a7d{\aleph}_{\alpha}$ then $\sum _{i\in I}^{}{\kappa}_{i}\u2a7d{\aleph}_{\alpha}$. Thus we derive the important result that

Theorem.

Every succesor cardinal ${\aleph}_{\alpha +1}$ is regular.

Definition.

The *cofinality*
$\text{cf}\left(\alpha \right)$ of a cardinal or initial ordinal
$\alpha $ is the least ordinal $\beta $ such that there
are sets ${A}_{i}\subseteq \alpha $ for all $i<\beta $
with each ${A}_{i}$ having cardinality strictly less than $\alpha $
and with $\alpha =\bigcup \{{A}_{i}:i<\beta \}$.

Thus a regular cardinal is one, $\alpha $, such that $\text{cf}\left(\alpha \right)=\alpha $. A singular cardinal has $\text{cf}\left(\alpha \right)<\alpha $.

The following is easy.

Proposition.

The cofinality of a cardinal $\alpha $ is an initial ordinal (i.e. a cardinal).

The next theorem is more interesting.

Theorem.

If $\kappa \u2a7e{\aleph}_{0}$ is a cardinal then $\kappa <{\kappa}^{\text{cf}\kappa}$.

**Proof.**

Suppose cardinals ${\alpha}_{i}<\kappa $ are given for $i<\text{cf}\kappa $ such that $\kappa =\sum _{i<\text{cf}\kappa}^{}{\alpha}_{i}$. Then by the König inequality

$$\kappa =\sum _{i<\text{cf}\kappa}^{}{\alpha}_{i}<\prod _{i<\text{cf}\kappa}^{}{\alpha}_{i}\u2a7d{\kappa}^{\text{cf}\kappa}$$as required.

Theorem.

If $\kappa \u2a7e{\aleph}_{0}$ and $\lambda \u2a7e2$ are cardinals then $\kappa <\text{cf}\left({\lambda}^{\kappa}\right)$.

**Proof.**

Let $\mu ={\lambda}^{\kappa}$. If $\kappa \u2a7e\text{cf}\mu $ then by the previous theorem

$$\mu <{\mu}^{\text{cf}\mu}\u2a7d{\mu}^{\kappa}=({\lambda}^{\kappa}{)}^{\kappa}={\lambda}^{\kappa}=\mu $$a contradiction.

In particular $\text{cf}\left({2}^{{\aleph}_{0}}\right)>{\aleph}_{0}$ so for example ${2}^{{\aleph}_{0}}\ne {\aleph}_{\omega}$.

We saw that every succesor cardinal is regular. Whether every limit cardinal
is singular is more difficult. A regular limit cardinal $\lambda $
is said to be (weakly) inaccessible. It is *strongly inaccessible*
if in addition $\mu <\lambda $ implies ${2}^{\mu}<\lambda $ for all cardinals $\mu $.

The non provability of the existence of strongly inaccessible cardinals is rather easier to show.

Theorem.

If $\kappa $ is a strongly inaccessible cardinal then ${V}_{\kappa}$ is a model of $\text{ZFC}$.

ZFC cannot prove the existence of a strongly inaccessible cardinal.

**Proof.**

Otherwise ZFC would prove the existence of a model of ZFC which by the Soundness Theorem (formalised and proved inside ZFC) would imply that $\text{ZFC}\u22a2\text{Con}\left(\text{ZFC}\right)$ contradicting Gödel's second incompleteness theorem.

If ZFC is consistent so is ZFC plus the assertion that there is no strongly inaccessible cardinal.

**Proof.**

If $V$ is a model of ZFC then take the smallest strongly inaccessible cardinal $\kappa $ in $V$ and observe that ${V}_{\kappa}$ satisfies the required theory, so this theory is consistent by soundness.

It turns out that by a construction using Gödel's constructible universe $L$, similar results apply to weakly inaccessible cardinals too.