The left side of CichoÅ's diagram
arXiv:1504.04192 · doi:10.1090/proc/13161
Abstract
Using a finite support iteration of ccc forcings, we construct a model of $\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathrm{non}(\mathcal{M})<\mathrm{cov}(\mathcal{M})=\mathfrak{c}$.
Publication 1066 on Shelah's list, 14 pages