# Can we define ordinals such that the following sentences are independent of ZFC?

Can we explicitly define two ordinals $\alpha$ and $\beta$ in the language of $\{\in\}$ such that the following hold?

1. ZFC proves that $\alpha$ and $\beta$ exist.
2. ZFC proves that $\beth_\beta \neq \aleph_\alpha$
3. The following statements are independent of ZFC: $$\aleph_\alpha \leq \beth_\beta,\qquad\beth_\beta \leq \aleph_\alpha$$

Doesn't this happen if $\alpha=\omega$ and $\beta=1$?
• Sounds reasonable. Would it be fair to say that if $\alpha$ is a limit ordinal and $\beta$ is a non-limit ordinal, then $\aleph_\alpha$ and $\beth_\beta$ must be distinct? (Btw I do not see how to use Konig's theorem to show Fact 2). Apr 3 '14 at 14:44
• @user18921: Yes, for limit $\beta$, the cardinal $\beth_\beta$ is always a limit cardinal, so it cannot be $\aleph_\alpha$ for any successor cardinal $\alpha$; as for Koenig's theorem, it shows that $\aleph_\omega$ cannot be $\beth_1$. Apr 3 '14 at 14:48
• To clarify: Konig's thoerem gives us that $cf(2^{\aleph_{0}})>cf(\aleph_{0})$. Since $\aleph_{\omega}$ has cofinality $\omega$, we get the result. Apr 3 '14 at 14:57