●《現代數學基礎叢書》序
序言
引言
章 大基數理論
1.1 可測基數
1.1.1 超冪
1.1.2 0#
1.1.3 覆蓋引理
1.1.4 迭代超冪
1.1.5 可測基數內模型
1.2 超緊基數
1.2.1 強緊基數
1.2.2 超緊基數
1.2.3 強基數
1.2.4 武丁基數
1.3 練習
第2章 大基數上力迫擴張
2.1 小型擴張
2.2 萊維力迫擴張
2.3 普利克瑞力迫擴張
2.4 銀傑力迫構思
2.5 力迫SCH最小反例
2.6 恰當力迫擴張
2.6.1 恰當力迫構思
2.6.2 迭代恰當力迫構思
2.6.3 恰當力迫公理
2.7 力迫飽和非荟萃理想
2.7.1 泛型超冪
2.7.2 力迫NS峭壁
2.7.3 力迫NS飽和
2.7.4 投影荟萃集光影原理
2.8 練習
第3章 大基數下集合Vw+2的內涵
3.1 實數集可定義子集分析
3.1.1 投影集合精細分層
3.1.2 餘解析集合
3.1.3 ∑12集合
3.1.4 ∑13集合
3.1.5 廣泛貝爾特性
3.2 內模型L(R)Col(w,<k)分析
3.2.1 內模型HOD(Ω)
3.2.2 萊維力迫擴張模型中實數子集正則性
3.3 大基數對於實數集理論的影響
3.3.1 L(R)-理論不變性
3.3.2 荟萃塔
3.3.3 迭代樹
3.3.4 投影集合穩贏性
3.3.5 ADL(R)
3.4 練習
索引
跋
《現代數學基礎叢書》已出版書目
內容簡介
本卷是在前兩卷的基礎上對集合論保證無窮集合存在的無窮公理的層次分析。這種分析既包含組合分析,也包含邏輯分析;既包含內模型分析,也包含外模型分析;歸根結底是揭示各種高階無窮公理對整個集合論論域的影響,尤其是對實數集合的影響。因此,第三卷的章側重於大基數的組合分析、邏輯分析以及內模型構造;第2章側重於在大基數上構造各種各樣的具有典範意義的力迫擴張,從而解決包括奇異基數假設在內的一些長期遺留問題的獨立性問題;第3章側重於分析高階無窮對實數子集合正則性的影響。