bound on the cardinality of the continuum? I hope not

Suppose we don't believe the continuum hypothesis. Using Von Neumann cardinal assignment (so I guess we believe well-ordering?), is there any "familiar" ordinal number $\alpha$ such that, for non-tautological reasons, $\aleph_\alpha$ is provably larger than the cardinality of the continuum? I would hope not since it would seem pretty silly if something like $\alpha = \omega_0$ worked and we could say "well gee we can't prove that $c = \aleph_1$, but it's definitely one of $\aleph_1, \aleph_2, \ldots , \aleph_{73}, \ldots$". I (obviously) don't know jack squat about set theory, so this is really just idle curiosity. If a more precise question is desired I guess I would have to make it

For any countable ordinal $\alpha$ is the statement: $c < \aleph_\alpha$ independent of ZFC in the same sense as the continuum hypothesis?

assuming that even makes sense. Thanks!


Solution 1:

Mike: If you fix an ordinal $\alpha$, then it is consistent that ${\mathfrak c}>\aleph_\alpha$. More precisely, there is a (forcing) extension of the universe of sets with the same cardinals where the inequality holds.

If you begin with a model of GCH, then you can go to an extension where ${\mathfrak c}=\aleph_\alpha$ and no cardinals are changed, as long as $\alpha$ is not a limit ordinal of countable cofinality. For example, $\aleph_{\aleph_\omega}$ is not a valid size for the continuum. But it can be larger.

Here, the cofinality of the limit ordinal $\alpha$ is the smallest $\beta$ such that there is an unbounded function $f:\beta\to\alpha$. There is a result of König that says that $\kappa^\lambda>\kappa$ if $\lambda$ is the cofinality of $\kappa$. If $\kappa={\mathfrak c}$, this says that $\lambda>\omega=\aleph_0$, since ${\mathfrak c}=2^{\aleph_0}$ and $(2^{\aleph_0})^{\aleph_0}=2^{\aleph_0}$. Since $\aleph_{\aleph_\omega}$ has cofinality $\omega$, it cannot be ${\mathfrak c}$.

But this is the only restriction! The technique to prove this (forcing) was invented by Paul Cohen and literally transformed the field.