English

Cardinal characteristics at aleph omega

Logic 2020-03-17 v1

Abstract

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

Cite

@article{arxiv.1812.05291,
  title  = {Cardinal characteristics at aleph omega},
  author = {Shimon Garti and Moti Gitik and Saharon Shelah},
  journal= {arXiv preprint arXiv:1812.05291},
  year   = {2020}
}
R2 v1 2026-06-23T06:41:06.770Z