Abstract
Assuming four strongly compact cardinals, it is consistent that all entries in Cichoń's diagram (apart from add(M) and cof(M), whose values are determined by the others) are pairwise different; more specifically, ℵ1 < add(N) < cov(N) < b < non(M) < cov(M) < ∂ < non(N) < cof(N) < 2ℵ0.
Original language | English |
---|---|
Pages (from-to) | 113-143 |
Number of pages | 31 |
Journal | Annals of Mathematics |
Volume | 190 |
Issue number | 1 |
DOIs | |
State | Published - 1 Jul 2019 |
Bibliographical note
Publisher Copyright:© 2019 Department of Mathematics, Princeton University.
Keywords
- Cichoń's diagram
- Compact cardinals
- Forcing
- Set theory of the reals