Cichoń's maximum without large cardinals

Abstract

Cichoń's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $\sigma$-compact subsets of the irrationals. It is consistent that all entries of Cichoń's diagram are pairwise different (apart from $\text{add}(\mathcal{M})$ and $\text{cof}(\mathcal{M})$, which are provably equal to other entries). However, the consistency proofs so far required large cardinal assumptions. In this work, we show the consistency without such assumptions.

Minor corrections. Remove "logical dependency" on arxiv:1904.02617 (Everything claimed about ${\aleph }_1<\mathfrak{m}<\mathfrak{p}<\mathfrak{h}<\text{add}(\mathcal{N})$ in the previous version is correct, but it is better proved in arxiv:1904.02617, bulding on this paper, than the other way round.)