强测度零理想基数特征的分离

设 $\mathcal{SN}$ 为实数强测度零集的 $\sigma$-理想。我们给出可控制有限支撑迭代后 $\mathcal{SN}$ 可加性的力迫偏序的一般性质。据此力迫使关联 $\mathcal{SN}$ 的四个基数特征两两不同：$$\mathrm{add}(\mathcal{SN})<\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN}).$$ 此外，我们构造一力迫扩张同时满足上述与 Cichoń 极大值（即 Cichoń 图中非依赖值两两不同）。