Cichoń's diagram; Compact cardinals; Forcing; Set theory of the reals
en
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.