1
$\begingroup$

Since the $\sf GCH$ cannot fail everywhere everyway (see here), the question here is if it can fail everywhere in every finite manner, that if we have a strictly increasing function $f$ on the ordinals at finite intervals $\geq 2 $, then we can have: $$\forall\alpha: 2^{\aleph_\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) ) \\ \land \forall \alpha \exists n \in \mathbb N_2 \, (f(\alpha)=\alpha+n) \\ \implies \\ \exists N : N \equiv \operatorname {CTM}(\mathsf {ZF}) \land \operatorname {Ord}^N =\operatorname {Ord}^M \\ \land (N \models \forall \alpha: 2^{\aleph_\alpha}= \aleph_{f(\alpha)})\big{)} $$

where "$\equiv\operatorname {CTM}(\mathsf {ZF})$" means "is a countable transitive model of ZF"; $\mathbb N_2= \mathbb N \setminus \{0,1\}$.

Is this possible in $\sf ZFC$?

${}$

$\endgroup$
8
  • 4
    $\begingroup$ The way you wrote it? No. The $\beth$ function is continuous, but $f$ is not required to be continuous in any shape or form. If you add that $f$ is continuous, then this is a fairly straightforward application of Easton's theorem, since it really means that we start with GCH and change the continuum function only on successor cardinals, by increasing it only by a finite number of successors, too. $\endgroup$ Commented Jan 16, 2022 at 23:28
  • 2
    $\begingroup$ Why $\beth_\alpha$ rather than $2^{\aleph_\alpha}$? It would seem it is the latter that you are interested in. In particular, this function is not necessarily continuous. $\endgroup$ Commented Jan 17, 2022 at 1:20
  • $\begingroup$ @AndrésE.Caicedo, Agreed! Thanks $\endgroup$ Commented Jan 17, 2022 at 10:29
  • $\begingroup$ @AsafKaragila, Thanks for noting the continuity issue. But I'm not sure of the rest of your comment. Easton 's theorem is only concerned with regular cardinals, so it doesn't mention anything about the cardinality of singulars violating GCH, but here with this axiom you have GCH breached everywhere including the singulars. It says that those also can be breached by any finite interval. I mean even if I add "$f$ is continuous", still Easton's theorem doesn't seem to touch it? $\endgroup$ Commented Jan 17, 2022 at 11:48
  • 2
    $\begingroup$ Zuhair, if the function is continuous, then its values at limit stages are determined by the values before them. Hence, there is nothing you can do at limit stages. $\endgroup$ Commented Jan 17, 2022 at 12:04

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.