ススリンの問題

$(L, <)$ を端点を持たない空でない稠密かつ完備な全順序集合とし、$L$ の互いに素な空でない開区間の任意の族が高々可算である（可算鎖条件 ccc を満たす）とする。このとき、$(L, <)$ は実数直線 $(\mathbb{R}, <)$ と順序同型でなければならないか。

トマス・イェフ（1967年）とスタンリー・テネンバウム（1968年）がススリン直線を含む強制法モデルを構成してススリンの仮説の否定の整合性を示し、ロナルド・イェンセン（1968年）がダイヤモンド原理 $\diamondsuit$ によりゲーデルの構成可能宇宙 $L$ にススリン直線が存在することを示し、ロバート・ソロヴェイとテネンバウム（1971年）が反復強制法を創始して $\text{MA} + \neg\text{CH}$ の下でススリンの仮説が成り立つことを証明した。