Cichoń's maximum

@article{Goldstern2019CichosM,
  title={Cichoń's maximum},
  author={Martin Goldstern and Jakob Kellner and Saharon Shelah},
  journal={Annals of Mathematics},
  year={2019}
}
Assuming four strongly compact cardinals, it is consistent that all entries in Cichon's diagram are pairwise different, more specifically that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} < \mathrm{non}(\mathrm{meager}) < \mathrm{cov}(\mathrm{meager}) < \mathfrak{d} < \mathrm{non}(\mathrm{null}) < \mathrm{cof}(\mathrm{null}) < 2^{\aleph_0}.\] 

Figures from this paper

Cichoń’s maximum without large cardinals
Cichon'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
COMPACT CARDINALS AND EIGHT VALUES IN CICHOŃ’S DIAGRAM
TLDR
Under the same assumption, it is consistent that aleph _1 < add( {\cal N) < cov( {cal N}) < non\left ( {\cal M}) > cov( ¬N) < cof( −1) < 2 ( −2) .
Controlling classical cardinal characteristics while collapsing cardinals
Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to
Forcing constellations of Cicho\'n's diagram by using the Tukey order
We use known finite support iteration techniques to present various examples of models where several cardinal characteristics of Cichoń’s diagram are pairwise different. We show some simple examples
A friendly iteration forcing that the four cardinal characteristics of $\mathcal{E}$ can be pairwise different
. Let E be the σ -ideal generated by the closed measure zero sets of reals. We use an ultrafilter-extendable matrix iteration of ccc posets to force that, for E , their associated cardinal
Another ordering of the ten cardinal characteristics in Cichoń's diagram
It is consistent that א1 < add(N ) < add(M) = b < cov(N ) < non(M) < cov(M) = 2 א0 . Assuming four strongly compact cardinals, it is consistent that א1 < add(N ) < add(M) = b < cov(N ) < non(M) <
Preservation of splitting families and cardinal characteristics of the continuum
<jats:p>We show how to construct, via forcing, splitting families that are preserved by a certain type of finite support iterations. As an application, we construct a model where 15 classical
Cichoń’s diagram and localisation cardinals
TLDR
This work reimplements the creature forcing construction used by Fischer et al. to separate Cichoń’s diagram into five cardinals as a countable support product, and adds uncountably many additional cardinal characteristics, sometimes referred to as localisation cardinals.
Controlling cardinal characteristics without adding reals
We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new [Formula: see text]-sequences (for some regular [Formula: see text]). As an application, we
...
...

References

SHOWING 1-10 OF 37 REFERENCES
Another ordering of the ten cardinal characteristics in Cichoń's diagram
It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) <
Creature forcing and five cardinal characteristics in Cichoń’s diagram
TLDR
A (countable support) creature construction is used to show that consistently aleph _1=cov_1= {{\mathrm{cov}}}(\mathcal N)< non(N)<non(M)<cof(N), and aleph_0=2ℵ0.
The left side of Cichoń’s diagram
Using a finite support iteration of ccc forcings, we construct a model of
COMPACT CARDINALS AND EIGHT VALUES IN CICHOŃ’S DIAGRAM
TLDR
Under the same assumption, it is consistent that aleph _1 < add( {\cal N) < cov( {cal N}) < non\left ( {\cal M}) > cov( ¬N) < cof( −1) < 2 ( −2) .
Controlling classical cardinal characteristics while collapsing cardinals
Given a forcing notion $P$ that forces certain values to several classical cardinal characteristics of the reals, we show how we can compose $P$ with a collapse (of a cardinal $\lambda>\kappa$ to
A characterization of the least cardinal for which the Baire category theorem fails
Let k be the least cardinal such that the real Une can be covered by k many nowhere dense sets. We show that k can be characterized as the least cardinal such that "infinitely equal" reals fail to
Controlling cardinal characteristics without adding reals
We investigate the behavior of cardinal characteristics of the reals under extensions that do not add new [Formula: see text]-sequences (for some regular [Formula: see text]). As an application, we
Matrix iterations and Cichon’s diagram
TLDR
Using matrix iterations of ccc posets, it is proved that it is consistent with ZFC to assign, at the same time, several arbitrary regular values on the left hand side of Cichon’s diagram.
Additivity of measure implies additivity of category
In this paper it is proved that 2'-additivity of category follows from 2'-additivity of measure, and a combinatorial characterization of additivity of measure is found. DEFINITIONS. For abbreviation
...
...