蘇斯林問題

蘇斯林問題所問的是，若有一個非空全序集${\displaystyle R}$，而這${\displaystyle R}$有以下的性質：

1. ${\displaystyle R}$沒有 最大與最小元；
2. ${\displaystyle R}$的序列是稠密的（也就是在兩個不同元素中間總有別的元素）
3. ${\displaystyle R}$的序列是完備的，也就是說，其所有的非空有界子集都有上界與下界
4. ${\displaystyle R}$所有彼此不相交的非空開區間的搜集是可數的（也就是${\displaystyle R}$的序拓撲上的可數鏈條件）

在這種條件下，${\displaystyle R}$必然是與實數線序同構的嗎？

若將「可數鏈條件」的要求換成${\displaystyle R}$有一個可數的稠密子集（也就是${\displaystyle R}$是一個可分空間），那這答案就是「是」：所有這樣的${\displaystyle R}$在這種狀況下與實數線序同構，而這點為康托爾所證明。

一個拓撲空間的所有非空開集的搜集是至多可數的這條件又稱為蘇斯林性質。

任何滿足條件1至4但「不」同構於實數線的全序集合又稱作蘇斯林線；而蘇斯林猜想所講的是沒有蘇斯林線，也就是說所有具有可數鏈條件且沒有上下界的稠密完備線性序列與實數線同構；而一個等價的陳述是任何高度為${\displaystyle \omega _{1}}$的樹具有高度為${\displaystyle \omega _{1}}$的分支或者大小為${\displaystyle \aleph _{1}}$的反鏈。

一般化蘇斯林猜想指的是對於任意無限正則基數${\displaystyle \kappa }$而言，所有高度為${\displaystyle \kappa }$的樹，要不具有長度為${\displaystyle \kappa }$的分支或者大小為${\displaystyle \kappa }$的反鏈；而蘇斯林線的存在性，與蘇斯林樹和蘇斯林代數的存在性等價。

蘇斯林猜想獨立於帶有選擇公理的策梅洛-弗蘭克爾集合論（ZFC）。葉赫（Jech）在1967年與滕博姆（Tennenbaum）在1968年各自獨立地用力迫法建構出一個帶有蘇斯林線的ZFC模型。羅納德·延森之後證明了說在假定鑽石原則（這是可構造性公理${\displaystyle V=L}$的一個結果）的狀況下蘇斯林線存在；而在另一方面，梭羅維和滕博姆在1971年用力迫法構造出了一個不包含蘇斯林線的ZFC模型；此外，他們還證明說在假定馬丁公理成立且連續統假設不成立的狀況下，蘇斯林猜想成立。

蘇斯林猜想獨立於廣義連續統假設及連續統假設不成立的假定，而目前不知道蘇斯林猜想是否與廣義連續統假設相容；然而，由於這組合蘊含說方形原則在一個單一的強極限基數下不成立之故，這表示說決定公理在​​L(R)中成立，且一般相信說這蘊含了一個帶有超強基數的內模型。

• ZFC系統無法確定的命題列表
• AD+
• 康托爾同構定理

• K. Devlin and H. Johnsbråten, The Souslin Problem, Lecture Notes in Mathematics (405) Springer 1974.
• Jech, Tomáš, , Comment. Math. Univ. Carolinae, 1967, 8: 291–305, MR 0215729
• Souslin, M., (PDF), Fundamenta Mathematicae, 1920, 1: 223 [2022-07-27], doi:10.4064/fm-1-1-223-224 , （原始内容存档 (PDF)于2022-01-21）
• Solovay, R. M.; Tennenbaum, S., , Annals of Mathematics, 1971, 94 (2): 201–245, JSTOR 1970860, doi:10.2307/1970860
• Tennenbaum, S., , Proc. Natl. Acad. Sci. U.S.A., 1968, 59 (1): 60–63, Bibcode:1968PNAS...59...60T, MR 0224456, PMC 286001 , PMID 16591594, doi:10.1073/pnas.59.1.60 
• Grishin, V. N., , Hazewinkel, Michiel (编), , Springer, 2001, ISBN 978-1-55608-010-4