特殊玄宇宙第二版本篇章（数学模型） (10-8)

概念指的是这种广受追捧的最佳标准的形式推导性的

最有趣的是从极大性导出的一阶陈述，但它是

已经明确该计划中正在制定的标准，例如

本文提到的几乎都是非一阶的。我的预测是

最佳标准将包括某种形式的 SIMH，因此意味着

CH 的（一阶）失效。

我仍然乐观地认为，当这个计划的发现结合起来时

随着集合论的进一步研究及其在解决其他数学领域的独立性问题中的应用，论文所表达的预测

集合论真理将得到令人满意的实现。但首先有很多工作要做做完了。

参考

[1] C.Antos、iedman、R.Honzik 和 C.Ternullo，集合论中的多重宇宙概念，

综合 192，第 8 期，第 173 页。2463–2488，2015。

[2] T.Arrigoni 和 iedman，内模型假说的基础含义，纯粹与应用逻辑年鉴，第 163 卷，第 1360-66 页，2012 年。

[3] T.Arrigoni 和 iedman，超宇宙计划，符号逻辑公报，

第 19 卷，第 1 期，2013 年 3 月，第 77-96 页。

[4] Barton, Neil，多元主义和集合概念：相对主义在多大程度上是可以接受的？

客观性、现实性和证明。数学哲学中的 FilMat 研究，F.

博库尼，A.塞雷尼（编），《波士顿科学哲学与历史研究》，

施普林格，2016 年，即将出现。

[5] J.Barwise，可接受的集合和结构，Springer 1975。

[6] A.Beller、R.Jensen 和 P.Welch，《编码宇宙》，剑桥大学出版社 1982 年。

[7] G.Boolos，集合的迭代概念，哲学杂志 68 (8):215-231 (1971)。

[8] J.Cummings、iedman、M.Magidor、A.Rinot 和 D.Sinapova，可定义的子集

单数红衣主教，已提交。

[9] J.Cummings、iedman 和 M.Golshani，《瓦解 HOD 的枢机主教》，期刊

数理逻辑，卷。15、2015年第02期。

[10] A.Dodd，核心模型，剑桥大学出版社 1982 年。

[11] iedman，精细结构和类别强迫，de Gruyter 2000。

[12] iedman，内部一致性和内部模型假设，符号通报

逻辑，第 12 卷，第 4 期 (2006)，第 591–600 页。

[13]iedman，《稳定的核心》，《符号逻辑通报》，第 18 卷，第 2 期，2012 年 6 月，第 13 页。

261–267.

[14] iedman 和 P.Holy，PFA 一致性强度的准下界，Transactions AMS 366 (2014), 4021-4065。

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