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

(b) (N, U) 是可行的（即 x ∩ U ε N 对于任何 x ε N）。

(c) U 是 (N, U) 中 κ 的正常测量值。

(d) N 是可迭代的，即所有以 (N, U) 开头的连续迭代超幂有充分根据，产生迭代（Ni, Ui) 和 Σ1 基本迭代映射 πij ：Ni → Nj 其中 (N, U) = (N0, U0)。

我们让 κi 表示第 i 次迭代 Ni 的最大基数

超宇宙计划

如果 N 是 # 并且 λ 是极限序数​，则 LP(Nλ) 表示 (Vκi)在的对于 i ＜ λ。（LP代表下部分。）LP(N∞)是ZFC的模型。

定义2.我们说ZFC的传递模型V是生成的当且仅当有N：= (N, U)，a # 迭代 N = N0 → N1 → · · · ，使得 V 等于 LP(N∞)

其中 ∞ 表示 V 的序数高度。

-：Generation 满足了我们对垂直最大化的要求，并对反思产生了强大的影响。L是生成的iff：0#存在，所以这个原理是兼容的

其中 V = L。如果 V 是通过 (N, U) # 生成的，则存在基本嵌入从 V 到 V 可以通过 (N, U) 迭代进行规范定义：

上面的符号，来自 κi 的任何保序映射​到 κi的延伸到这样的一个基本的嵌入。如果 π : V → V 是任何这样的嵌入，那么我们不会得到

只有结构 H(κ+我)，对于所有 i 以及结构H(先生+a我) 对于任何 α ＜ κ0 及以上。此外，#一代显然提供了

最大垂直反射量：如果 V 由 (N, U) 生成为 LP(N∞)

其中 ∞ 是 V 的序数高度，x 是进一步迭代中的任何参数

在(N, U) 的 ∗ = N∞*，则任意一阶性质 ψ(V, x) 在 V 中成立∗反映至 ψ(Vκi对于所有足够大的 i ＜ j ＜ ∞，Nj 中的 , x ̅ ) ，其中 πj, ∞ ̅ ̅ ̅ ) = x。这意味着任何已知形式的垂直反射并总结了反射量假设0#存在，L中的反射量最大

L 中的这一点通过詹森 # 生成的编码定义（定理 9.1. 的[6]）其中指出，如果 V 是 # 生成的，则 V 可以编码为 # 生成的

模型 L[x] 对于实数 x，其中生成 V 的给定 # 扩展到自然数

发电机 x

# 模型 L[x]。　　

由此我们可以得出结论，#生成的模型具有相同的大基数和当 0# 存在时 L 的反射属性。

-：Generation 还回答了我们的问题，即在反射中查看 V 延长的哪个规范塔，即迭代的更下部部分任何生成 V 的 # 。这座加长塔与选择无关为 V 生成 #，因此完全规范。和#代完全

认识到 V 应该看起来与它的许多阶的无限闭合完全一样

初始片段及其任意序数高度的规范延长。

总之，-：Generation 脱颖而出，是高度最大化原则的正确形式化，我们将 #-生成的模型称为最大

在高度上。它不是一阶的（我们认为没有最佳高度最大值

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