Cichoń's maximum without large cardinals (Q2087383)

Summary: 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 \(\mathrm{add}(\mathcal{M})\) and \(\mathrm{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.