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

取V为ZFC公理的一个模型。假设V是强制扩展地面模型W，即存在W通用滤波器G⊆P∈W使得V＝W[G]。如果是这样的话，那么探索是有意义的

V的“地质学”，即场地的集合，场地的一般扩展以及它们的地，等等，V可能包含的，其中模型M的地是ZFC的一个模型N，使得M是通过对N的强迫得到的，也就是说扩展M=N[G]，其中G是偏序P∈N的一般滤波器。

然后，“地质学”的概念就会出现，具体如下。

地幔M是ZFC模型M的所有基态的交集基岩为W类，是V的最小地面。根据Usuba[27]的结果，地幔是ZFC的一个模型。自Reitz[23]以来，以下公理已被证明是中心公理所有地质调查：

Axiom 3.2（接地Axiom（GA））。V没有合适的接地。

现在，如果地幔本身满足GA，那么地幔就是基岩，特别是所有其他地基中包含的最小基岩，而后者可以合理地被视为集合通用多元宇宙的核心宇宙（在其上生成），我们将成为在下一小节中详细描述。更全面的数学描述。

因此，可以尝试对芯体进行切割。然而，在这一点上堆芯的特征可能（超过ZFC）是不确定的。如下所示，

基本定理：

定理3.3（Fuchs等人）ZFC的每个可数模型都可以是另一个模型的地幔ZFC模型。

为了获得更确定的核心，并进一步研究其自然，集合论地质学家考虑了一个不同的假设，可以阐述如下。如果地幔不满足GA，那么它是有意义的，考虑到“地幔的地幔”，M1=MM，然后，总是在不满足GA的假设，即“地幔的地幔”和等等。换句话说，考虑地幔的迭代是有意义的操作'。现在，迭代地幔并不是一项微不足道的任务，因为它涉及技术方面涉及，这甚至可能阻止定义mant的第n个迭代。

假设这些困难可以克服，人们可能会问，对于α∈Ord地幔的迭代，可以得到Mα=M，对于所有＞α，即是否存在一个极小的α，使得Mα|=GA。如果有一个，那么Mα被认为是外初始模型的核心（V，如果V是这样的模型）。然而，在这种情况下的前一个，其中M|=GA，定理3.3将暗示外核也会没有确定的特征，即它可能满足广泛的相互不兼容的属性。

此外，已经表明，外芯不能唯一地固定在迭代过程中，Reitz和Williams最近的一个结果证实了Fuchs等人[9]的猜想，并证明，对于任何α∈Ord，模型的外核M可以是任何Mα，即M地幔的任何α次迭代（也可能包括包括MOrd，尽管目前还没有针对这一特定案件的证据）。

总之，ZFC本身并不能保证“核心宇宙”的存在。

而且，在ZFC上核心可能出现。正如我们将要看到的，如果一个人采取车载LC。

3.2存在的证明。斯蒂尔[25，第168页]认为Woodin观察到

如果多元宇宙有一个可定义的世界，那么它就有一个独特的可定义世界

世界包含在所有其他世界中。38我们接下来为这一事实提供一个证据。39

定理3.4。如果多元宇宙有一个可定义的世界，那么它就有一个独特的可定义世界。

更准确地说，假设多元宇宙语言中的公式只有集合的一个自由变量。然后MVT∀U，W（x（（x∈U↔ Γ（x））∧（x∈W↔（x） ）→ U＝W）。

证据在MVT的MG模型中工作（见第2.3节），让U和W是世界定义为：分别地由于U和W是可传递的并且包含相同的序数，通过归纳法显示VαU⊆W就足以显示U⊀W。

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