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 σ-compact subsets of the irrationals. It is consistent that all entries of Cichoń’s diagram are pairwise different (apart from add(M) and cof(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.
Original language | English |
---|---|
Pages (from-to) | 3951-3967 |
Number of pages | 17 |
Journal | Journal of the European Mathematical Society |
Volume | 24 |
Issue number | 11 |
DOIs | |
State | Published - 2022 |
Bibliographical note
Publisher Copyright:© 2021 European Mathematical Society Published by EMS.
Keywords
- Cichoń’s diagram
- forcing
- Set theory