Cicho\'n 图的左侧

利用 ccc 力迫的有限支迭代，我们构造了一个模型，满足$\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathrm{non}(\mathcal{M})<\mathrm{cov}(\mathcal{M})=\mathfrak{c}$。