超宇宙计划（第二版本）篇章 (7-6)

有一些简单的例子可以说明这种说法（比如存在具有少量“可迭代性”的非常大基数的模型）。

超宇宙计划通过使用，最大性原理也给出了关于HC理论的有力结论（与PD冲突），但不需要提及“设置强制”。

参考文献：　　

[1] Tatiana Arrigoni和Sy David Friedman，基础意义的内部模型假说，《纯粹与应用逻辑​年鉴》，第163卷（2012年），第1360-1366页。

[2] Joan Bagaría，集合论的自然公理​与连续体问题，逻辑、方法论和哲学科学​的.第十二届国际大会议事录（P·Hájek等，编辑），国王学院出版社，2005年，第43-64页。

[3] Paul Benacerraf和Hilary Putnam（编辑），《数学哲学​》.已选择读数，第二版，剑桥大学出版社，1983年。

[4] S.Feferman，J.Dawson、S.Kleene、G.Moore和J.Van Heijenoort（编辑）、KurtGodei作品集，第二卷，牛津大学出版社​，纽约，1990年。

[5] Sy David Friedman，严格泛型，模型，代数和证明，会议记录1995年拉丁美洲逻辑研讨会波哥大，Marcel Dekker，1999年，第129-139页。

[6] 精细结构​和阶级强制逻辑中的De Gruyter级数及其应用，De Gruyter，2000

[7]-，内部一致性和内部模型假设，本公报，第12卷（2006），第4期，第591-600页。

[8] Sy David Friedman、Philip Welch和W.Hugh Woodin，关于一致性力量内部模型假设，符号逻辑杂志​，第73卷（2008年），第2号，第391-400页。

[9] 库尔特​·哥德尔，什么是康托尔的连续体问题！，《美国数学月刊​》，第54卷（1947年），第9期，转载于[4]，第176-187页。引自[4]。

[10]，什么是Cantor的连续体问题？，数学哲学。已选择阅读（P.Benacerraf和H.Putnam，编辑），1964年，[9]的修订和扩展版本。重印在[3]，第470-485页和[4]，第254-269页中。引自[4]，第258-173页。

[11] 乔尔·哈姆金斯，集合论多元宇宙，符号逻辑综述，第5卷（2012），第416-449页。

[12] 罗纳德​·詹森，内部模型和大基数，本公报，第1卷（1995年），第4号​，第393-407页。

[13] 金森明弘，更高的无限，第二版，施普林格​，柏林，2003年。

[14] Jerome H.Keisler，无穷逻辑模型论​，北荷兰，阿姆斯特丹，1971

[15] Peter Koellner，《反思原则》，纯粹与应用逻辑年鉴，第157卷（2009），第2-3号，第206-219页。

[16] 佩内洛普·马迪，相信公理I，II，符号逻辑杂志，第53卷（1998），第481-511和736-764页。

[17] Menachem Magidor，论超紧可拓基数在逻辑中的作用，《以色列数学杂志​》，第10卷（1971年），第147-157页。

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