Set Theory – Can GCH Fail Everywhere in Every Way?

continuum-hypothesislo.logicset-theory

The following question is about if it is compatible to add to $\sf ZF$ an axiom asserting the existence of a countable transitive model of $\sf ZF$ such that for every strictly increasing function $f$ on the ordinals, we have a transitive countable model of $\sf ZF $ satisfying: $$\forall\alpha>0:\beth_\alpha = \aleph_{f(\alpha)}$$

Formally:

$ \exists M: M \equiv \operatorname {CTM}(\mathsf {ZF}) \land \forall f \subseteq M \ \big{(}\\f: \operatorname {Ord}^M \to \operatorname {Ord}^M \land \forall \alpha \forall \beta \, ( \beta > \alpha \to f(\beta) > f(\alpha) ) \\ \implies \\ \exists N : N \equiv \operatorname {CTM}(\mathsf {ZF}) \land \operatorname {Ord}^N =\operatorname {Ord}^M \land (N \models \forall \alpha > 0 : \beth_\alpha=\aleph_{f(\alpha)})\big{)} $

Where "$\equiv\operatorname {CTM}(\mathsf {ZF})$" means "is a countable transitive model of ZF"

So this is to say that the generalized continuum hypothesis can fail everywhere and in everyway.

Best Answer

No. An early nontrivial constraint on the $\beth$ function comes from Kőnig's Theorem, that for all infinite $\kappa$, $\mathrm{cf}(2^\kappa)>\kappa$. This implies that we cannot have $\beth_\alpha = \aleph_{f(\alpha)}$ for all $\alpha$, when $f(1) = \omega$, nor when $f(\omega+1)$ is a cardinal below $\aleph_\omega$.

Another constraint is Silver's Theorem, that if GCH holds below a singular of uncountable cofinality, then it holds at that singular as well.

Other constraints come from Shelah's PCF theory. Shelah showed that if $\aleph_\omega$ is a strong limit, then $2^{\aleph_\omega} < \aleph_{\omega_4}$.