Cardinal characteristics at aleph omega

We prove the consistency of the statement $\mathfrak{u}_{\aleph_ω}<2^{\aleph_ω}$. We show that the consistency strength of this statement is exactly a measurable cardinal $μ$ so that $o(μ)=μ^{++}$.

No reviews yet.

No comments yet.