数学论文（集合论的自然公理与连续体问题） (5-4)

Woodin[38]已经表明WM的一致性强度本质上是存在着无限多的伍丁大基数。此外，假设存在一个适当的Woodin基数类和一个不可访问的Woodin基数的极限，他证明了WM是Ω-一致的因此，如果Ω-猜想成立，则WM在某些（理想）强迫扩展中成立宇宙V。这肯定有助于制作WM根据我们的标准，集合论的一个自然公理。

参考文献

1.David Asper´o，极大有界强迫公理，符号逻辑杂志，第67期（2002），

编号1130-142。

2.David Asper´o和Joan Bagaria，有界强迫公理和连续体，Ann。

纯应用。逻辑109（2001），编号3179-203。

3.David Asper´o和Philip Welch，有界Martin最大值，弱Erd¨os基数，和ψAC，符号逻辑杂志67（2002），第3期，1141-1152。

4.琼·巴加里亚，《从绝对性角度对马丁公理的刻画》，J。

符号逻辑62（1997），366–372。

5.，作为一般绝对性原则的有界强迫公理，Arch。数学

《逻辑39》（2000），第6期，393–401。

6.，一般绝对公理，CRM预印本563（2003），1-25。

7.M.Bekkali，《集合论专题》，《数学讲义》，第1476卷，Springerverlag，1991年。

8.Georg Cantor，《数学》杂志。84（1878），242–258。

9.Paul hen，关于集合论基础的评论，公理集合论

（Dana S.Scott编辑），《纯粹数学研讨会论文集》，第13卷，美国。数学Soc.，1971年，第9-15页。

10.David Fremlin，《马丁公理的后果》，剑桥数学教程。，第84卷，剑桥大学出版社，1984年。

11.S.Fuchino，《论马丁公理的潜在嵌入和版本》，圣母院

《形式逻辑》33（1992），481–492。

12.Kurt G¨odel，什么是Cantor的连续体问题？，美国数学

月刊，美国54（1947），515–525。

13，什么是Cantor的连续体问题？，数学哲学。选读（P.Benacerraf和H.Putnam编辑），剑桥大学出版社，1983年，第470–485页。

14.Martin Goldstern和Saharon Shelah，有界真强迫公理，符号逻辑杂志，60（1995），58-73。

15.Kai Hauser，G–Model的程序再访，预印本（2000），1-15。

16，选择是不言自明的吗？，预印本（2004年），1-18。

17.托马斯·耶奇，《集合论》。第三个千年版本，修订和扩展，施普林格数学专著，施普林格出版社，2003年。

18.Akihiro Kanamori，《高等无限》，《数理逻辑透视》，第88卷，施普林格出版社，1994年。

19.肯尼斯·库宁，《集合论：独立性证明导论》，北荷兰，1980

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。