超宇宙计划论文篇章 (11-10)

证明。令 W 为弱#生成模型​（可能是不可数）。因此对于 W 高度以上的每个序数 α，理论 Tα+ ∼ phi 表示 phi

W 中的失败与 W 是由 α-iterable pre-# 生成的一致。如果我们选择 α 那么

Lα(W) 是 ZFC 的模型（或者足够的 ZFC，其中 phi 的真值可数为# 生成的模型可证明）那么 Lα(W) 是（足够的）ZFC 的模型，其中W 是弱 # 生成的。应用 Löwenheim-Skolem 获得可数的 W 和ά使得 Lα̂(Ŵ) 基本嵌入到 Lα(W) 中，因此满足（足够of) ZFC 加上“W 是弱 # 生成的”。现在让 g 对于 Lα ̅(W ̅ ) 是泛型的W¯（的高度）到 ω 的 Lévy 塌缩；那么 Lα ̅(W ̅ )[g] 是一个模型（足够of) ZFC，其中 W 是可数的并且是弱 # 生成的。通过假设Lά(W)[g] 满足“Ŵ满足 ́”，因此 W 确实满足 ́。最后，根据需要，W 也满足 phi。✷

总结一下：作为激进的潜在主义者，我们可以轻松地与完整的#-一代作为我们的高度最大化原则。但作为宽度现实主义者，我们相反，使用弱 # 代，以 V 的哥德尔延长 Lα(V ) 内的理论表示。弱#代足以最大化宇宙的高度。正确表述后，超宇宙的还原适用于弱-：Generation：推断一阶语句来自弱-：Generation

足以表明，在 ZFC 中，我们可以证明它在所有弱 # 生成的情况下都成立

可数模型。

对于可数而言，弱 -：Generation 确实严格弱于 -：Generation

models: 假设0#存在，选择α最小，使得α为第α个Silver

不可辨别（α 是可数的）。现在让 g 在 L 上泛型，Lévy 将 α 折叠为ω。那么根据Lévy绝对性，Lα在L[g]中是弱生成的，但不能#-在：L[g] 中生成为 0# 不属于 L 的通用扩展。

在下文中，我将主要使用 # 代，因为目前对弱 # 代的数学了解还很少。事实上，正如我们将在下一篇中看到的部分， # 代与 IMH 的综合是一致的，但这仍然是一个弱#一代的开放问题。

4.7 综合

我们引入了 IMH 作为宽度最大值的标准，并引入了-：Generation 作为宽度最大值的标准。

高度最大值的标准。很自然地看到如何将这些组合成承认两种形式的最大值的单一标准。我们在这方面实现了这一目标综合部分。请注意，IMH 意味着不存在无法访问的情况然而-：Generation 意味着存在。所以我们不能简单地取合取这两个标准。

# 生成的模型 M 满足 IMH# 当且仅当句子在 a 中成立

# 生成的 M 的外部模型也包含在 M 的内部模型中。

请注意，IMH# 与 IMH 的不同之处在于要求 M 和 M*,外部模型是 # 生成的（而 IMH 中考虑的外部模型是随意的）。此要求背后的动机是强制宽度最大化

仅针对那些高度最大的模型。

定理 10. [15] 假设每个实数都有一个 # 存在一个实数 R，使得任何

# 生成的包含 R 的模型满足 IMH#。

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