Splitting, Bounding, and Almost Disjointness can be quite Different

Abstract

We prove the consistency of $\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{p}=\mathfrak{g}=\mathfrak{s}<\mathrm{add}(\mathcal{M})=\mathrm{cof}(\mathcal{M})<\mathfrak{a}=\mathrm{non}(\mathcal{N})=\mathfrak{c}$ with ZFC where each of these cardinal invariants assume arbitrary uncountable regular values.

To appear in the Canadian Journal of Mathematics. 27 pages, 2 figures

References in corpus (2)

• Matrix iterations and Cichon's diagram
• Template iterations with non-definable ccc forcing notions

Cited by in corpus (1)

• The Polarised Partition Relation for Order Types