Skip to main content
edited tags
Link
François G. Dorais
  • 43.8k
  • 6
  • 145
  • 230
Source Link
Asaf Karagila
  • 38.5k
  • 8
  • 129
  • 275

Is it consistent relative to ZF that $\frak c = \aleph_\omega$?

In ZFC we know that the continuum cannot have cofinality $\omega$.

However, in the Feferman-Levy model we have that $\frak c=\aleph_1$, and that $\operatorname{cf}(\omega_1)=\omega$. In fact in the Feferman-Levy model, $\aleph_\omega^L=\aleph_1^V$.

Is it consistent with ZF that $\frak c=\aleph_\omega$? Does that mean that the only restriction in ZF on the cardinality of the continuum is $\aleph_0<\frak c$?