数学多元论（完结） (5-4)

Woodin的终极L计划来自他的下述发现：对V中的存在的任何已知的大基数κ（可 能远强于超紧基数），如果N是V的一个超紧基数的弱张子模型（weakextendermodel），那么κ大基数性 质相对于N是绝对的。

因此，如果我们能找到一个包含超紧基数的具有精细结构的类似L的弱张子模型（终极L），那么它也兼容任何V中存在的大基数。

由此，假设V=终极L在大基数层谱上不会损失任何解释力强度。

注意，薄葉季路的结果表明，如果存在可扩张基数κ，那么κ以上的大基数在整个泛型复宇宙中（相对地幔）是绝对的（无法通过Lévy力迫坍塌κ及以上的基数）。

地幔的这个性质与上述终极L的性质相呼应。

加之，地幔本身是最大的力迫不变的（作为一种类似L的性质，Woodin要求终极L也是力 迫不变的）内模型，无怪乎Woodin为这一结果欢呼并声称：“任何V=终极L的公理候选都蕴含V就是泛型复宇宙的那个极小元② 。”[17]

需要注意的是，根据Fuchs等人的证明[15]，任何一个ZFC模型可以是某 个ZFC模型的地幔。

所以假设V=V的地幔并不能直接带来多少有价值的推论，这与V=终极L仍然相去甚远。

另一个值得注意的有关多宇宙观的进展来自Hamkins等人关于集合论潜在主义系统的模态逻辑刻画。

Hamkins和Benedikt Löwe曾证明了ZFC可证的力迫扩张关系的模态逻辑理论恰好是S4.2[18]。

然 而，Hamkins主张的多宇宙观远不止由力迫法生成的泛型复宇宙。

Hamkins和Woodin定义了一个普遍有穷集（universal finite set）{x：φ(x)}。

φ是一个集合论Σ2 公式，ZFC可证它定义的集合是有穷的[19]。

而如果它在某个可数ZFC模型M中定义了一个有穷集合y∈M，那么对任何有穷z∈M都存在M的一个顶扩张N使得{x∈N|φN(x) }=z。

这里，我们称N是M的一个顶扩张（top-extension），当且仅当M是N的子模型，并且每个N∖M中的元素在N中冯诺依曼层谱上的秩（rank）都在M中的每个序数之上。

利用普遍有 穷集在诸顶扩张中可以被任意扩张，可以构造一系列“铁路开关”（railwayswitches）。

即一系列集合论语句σ，使得◇□σ和◇□¬σ都成立，同时□σ和□¬σ都尚未成立。

这里◇σ在某个集合论模型上成立，当且仅当存在它的一个满足σ的顶扩张。

这些“铁路开关”的存在导致.2公式◇□σ→□◇σ无法成立。

由 此可以证明由可数集合论模型在顶扩张关系下生成的潜在系统（potentialismsystem，也是整个集合论复宇宙的一个子结构）的模态理论恰好是S4，也即任何一个潜在系统模态理论的下界。

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