苏斯林问题

设 $(L, <)$ 为非空、稠密、完备且无端点的线性序集，且 $L$ 中任意一族两两不相交的非空开区间都是可数的（满足可数链条件 ccc）。$(L, <)$ 是否必定与实数轴 $(\mathbb{R}, <)$ 序同构？

托马斯·耶赫（1967年）与斯坦利·滕南鲍姆（1968年）利用力迫法构造了包含苏斯林直线的模型（否定苏斯林假说），罗纳德·延森（1968年）通过菱形原理 $\diamondsuit$ 证明在哥德尔可构成宇宙 $L$ 中存在苏斯林直线，而罗伯特·索洛维与滕南鲍姆（1971年）发明了迭代力迫法，证明在 $\text{MA} + \neg\text{CH}$ 下苏斯林假说成立。