MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 edited tags
show/hide this revision's text 1

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$?