STEEL计划：证据框架 核心与终极-L (7-6)

美国数学学会会刊，136（8），

2943–2949。

[12] Hamkins，J.D.（2012）。集合论的多元宇宙。符号逻辑综述，

5（3），416–449。

[13] Jech，T.（2003）。集合论。柏林：施普林格。

[14] Jensen，R.（1995）。内部模型和大型基数。符号逻辑公报，

1（4），393–407。

[15] Kanamori，A.（2009）。更高的无限。柏林：施普林格出版社。

[16] Koellner，P.（2013）。哈姆金斯谈多元宇宙。未发布

[17] ------（2014）。大基数和确定性。斯坦福百科全书

哲学。可从以下位置获得：-cardinalsdeterminacy/.

[18] Larson，P.（2000）。分离静止反射原理。第页，共页

符号逻辑，65（1），247–258。

[19] Maddy，P.（1988）。相信公理，二。符号逻辑公报，53（3），

736-764。

[20] ------（2017）。奠定理论基础。在Caicedo，A.，Cummings，J。，

Koellner，P.和Larson，P.编辑。数学基础。荣誉论文

《当代数学》，690。普罗维登斯：

美国数学学会，第289–322页。

[21]Maddy，P.和Meadows，T.（2020）。斯蒂尔多元宇宙的重建

项目符号逻辑公报，26（2），119–169。

[22]Martin，D.（2001）。集合的多重宇宙和不确定的真值。

托波伊，20岁，5-16岁。

[23]Reitz，J.（2007）。基本公理。符号逻辑杂志，72（4），

1299-1317。

[24]Reitz，J.和Williams，K.（2019）。内部斗篷和迭代HOD。《数理逻辑季刊》，65498–510。

[25]斯蒂尔，J.（2014）。G

¨

odel的程序。在肯尼迪，J.，编辑。

解释G

¨

模型。

评论文章。剑桥：剑桥大学出版社，第153-179页。

[26]Tsaporonis，K.（2014）。初等链与C（n）

-红衣主教。存档

数理逻辑，53，89–118。

[27]Usuba，T.（2017）。向下定向的地面假说和非常大

红衣主教。数理逻辑学报，17（2），1750009。

[28]------（2019）。可扩展的基数和地幔。数学档案

逻辑，58，71–75。

[29]Woodin，W.H.（2011）。无限的宇宙。在Baaz，M.，Papadimitriou，

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