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

正如我们所看到的，例如，Woodin的论点为我们提供了另一种选择资源来解决什么是“首选”宇宙的问题。现在，人们可以推测诉诸这种论点是不可避免的符合核心大学主义的要求。

在这份文件中，我们还谈到了这一点，并通过我们的灯光使其更加透明，MV的数学和哲学特征：特别是证明关于核心的存在性，它在T的不同选择上的持续不确定性MVT，Ultimate-L和MV之间的联系，LC的正当性和作用。

现在，为了进一步评估MV的假设。特别是，理想情况下，应该了解更多关于以下方面的信息：

•终极-L猜想的状态

•LC统一理论的前景

•更好地理解关于（备选）的“规范性”概念集合论模型

我们预计，对这些问题的进一步启示也将随之而来更详细地了解核心大运会可能合法宣称的内容，基于多元宇宙的结构。但是，正如我们所看到的，许多问题都有明确的答案。关于MV的问题，有些确认，有些不确认，核心大学的期望，已经可以提供了。

参考文献

[1] Antos，C.、Friedman，S.-D.、Honzik，R.和Ternullo，C.（2015）。多元宇宙

集合论中的概念。合成，192（8），2463–2488。

[2] 阿普特，A.W.（1998）。Laver不可破坏性和紧基数类。

符号逻辑杂志，63（1），149–157。

[3] Asper

´

o、 D.和Schindler，R.（2021）。毫米

+暗示了Woodin公理（*）。编年史

数学，193（3），793–835。

[4] Bagaria，J.、Koellner，P.和Woodin，W.H.（2019）。超出的大型基数

选择符号逻辑公报，25（3），283–318。

[5] Bagaria，J.和Poveda，A.（2021）。更多关于保护

通过类强制的大基数。符号逻辑杂志，1-38。

[6] Barton，N.（2016）。多元性与集合概念：相对主义有多大

可以接受吗？在Boccuni，F.和Sereni，A.，编辑。客观性、现实主义和证明。

柏林：施普林格出版社，第189-209页。

[7] Button，T.和Walsh，S.（2018）。哲学与模型理论。牛津：牛津大学出版社。

[8] Devlin，K.（1984）。可施工性。柏林：施普林格出版社。

[9] Fuchs，G.、Hamkins，J.和Reitz，J.（2015）。设置理论地质学。的年鉴

《纯粹与应用逻辑》，166（4），464–501。

[10] G

¨

K（1947）。什么是康托尔的连续体问题？

《美国数学月刊》，54515-525。

[11] Hamkins，J.、Reitz，J.和Woodin，W.H.（2008）。基本公理是

与V一致

=HOD。

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