Cichoń's maximum

Abstract

Assuming four strongly compact cardinals, it is consistent that all entries in Cichoń's diagram are pairwise different, more specifically that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} < \mathrm{non}(\mathrm{meager}) < \mathrm{cov}(\mathrm{meager}) < \mathfrak{d} < \mathrm{non}(\mathrm{null}) < \mathrm{cof}(\mathrm{null}) < 2^{\aleph_0}.\]

Minor corrections. Section 2 expanded and split into two sections: Now we do not directly apply Boolean ultrapowers to the forcing anymore, but first define the embedding from the Boolean ultrapower and then only work with the embedding. This paper now supersedes arXiv:1706.09638

Cited by in corpus (6)

• Filter-linkedness and its effect on preservation of cardinal characteristics
• On cardinal characteristics of Yorioka ideals
• Preservation of splitting families and cardinal characteristics of the continuum
• Controlling cardinal characteristics without adding reals
• Combinatorics of ultrafilters on Cohen and random algebras
• Cichoń's maximum with evasion number