猜想中的兼容性最强的德尔凝聚性定理和延森覆盖定理均在其中成立的内模型，包含所有大基数的终极内模型 -- “哥德尔纲领”的最终完成：将会解决所有的在力迫下呈现独立性的所有命题。
为了构造它，需要一个包含超紧致基数的内模型
假设 N 为一个超紧致基数 δ 的 weak extender model 那么 N 拥有 δ - covering property。
Proof.(draft) 令 σ⊂N 为满足 |σ|<δ .
根据 N⊨ZFC 那么可以归纳为这样一种情况 σ⊂Ord .
令 λ＞δ 有 σ⊂λ . 一个 U 为 Pδ(λ) 上的 δ - 完备主精细超滤使得有 N∩Pδ(λ)∈U .
由于 U 是精细以及 δ - 完备的那么 {τ∈Pδ(λ)|σ⊂τ}∈U 必须得以存在 τ∈Pδ(λ)∩N 使得 σ⊂τ 成立。
一个内模型是终极L也可证超幂公理UA+地面公理GA+存在一个最小强紧致基数成立。
一个内模型是终极L必须是基于策略分支假设SBH。
如果Ω猜想在所有已知的大基数公理下都成立，那就是Ω猜想在V中成立的强烈依据。
而武丁有关终极L的研究表明，所有的证据都显示，没有任何已知的大基数公理会否证猜想。
我们以下简述这一重要的思想。
（在以下的讨论中，所有未注明的定理和定义都属于武丁。)
如果存在可测基数，则V≠L,所以L虽然具有很好的结构性质，并且V=L可以解决包括CH在内的独立性问题，但它不可能是新公理的候选，L与V相差太远了。
库能的L[U]可以容纳可测基数，在这个意义上比L更接近V但是，[中只有一个可测基数，它甚至不能容纳第二个可测基数，更不必说更大的基数了。
所以，最终的任务就成了构造一个可以容纳所有大基数的类L结构，人们将这样的结构称为“终极L”。
这看起来是不能完成的任务，因为在构造容纳大基数的内模型的过程中，人们发现每向上一步，都只能得到仅仅包含一个相应大基数的模型，要想容纳所有的大基数，我们有无穷多个内模型需要构造。
但是，武丁的一个重要发现彻底改变了这种情形，这又需要一些新的数学定义：
定义3.3假设N是一个ZFC的模型，δ是一个超紧基数，如果对任意λ>δ，存在P_δ(λ)一个完全的正则精良超滤U满足：
(1) P_δ(λ)∩N∈U;
(2)U∩N∈N,
就称N是关于δ是超紧致基数的弱扩张子模型(weak extender model )
弱扩张子模型之所以重要，是因为它有我们需要的性质。
首先，它十分接近就我们目前的问题而言，这意味着它有正确的基数概念。
定理3.4假设N是关于是超紧致基数的弱扩张子模型，并且在N中，λ>δ是正则基数，则在V中，cf(λ)=|λ|。
特别地，如果入在V中依然是基数，则它在V中是正则的。
推论3.5假设N是关于是超紧基数的弱扩张子模型，并且在V中，γ>δ是奇异基数，则
(1)λ在N中是奇异基数；
(2)(γ⁺)ᴺ=γ⁺,即N能正确地计算奇异基数的后继。
不仅如此，与以往的内模型不同，弱扩张子模型可以容纳任意多的可测基数。
推论3.6假设N是关于是超紧基数的弱扩张子模型，并且在V中，K>δ是奇异基数，则在N中是可测基数。
事实上，弱扩张子模型可以容纳以上的所有大基数。
定理3.7（普遍性）假设N是关于是超紧基数的弱扩张子模型，并且在V中，γ>δ是正则基数，并且：
π:(H(к⁺))ᴺ→(H(π(к)⁺))ᴺ
是一个初等嵌入，并且crt(π)>δ,则π∈N
也就是说，V中δ以上的大基数都在N中保持为δ以上的大基数。
这不能不说是一个令人惊奇的结果。
但是，弱扩张子模型是否存在呢？
到目前为止它只是一个抽象的概念。
但有一些数学“证据”暗示其存在。
定理3.8（詹森，1974）L或者非常接近V或者离V很远。
即以下二者必居其一：
(1)对任意V中的奇异基数γ，γ在L中是奇异基数，并且(γ⁺)ᴸ=γ⁺(L非常接近v)
(2)每个不可数基数在L中都是不可达的。(L与V相差很远。)
武丁则得到了关于HOD的类似结果。
定理3.9假设к是可扩张基数，则HOD或者非常接近V,或者（在以上）离V很远。
即以下二者必居其一：
(1)对任意V中的奇异基数γ,γ在HOD中是奇异基数，并且(γ⁺)ᴴᴼᴰ=γ⁺
(2)所有大于к的正则基数在HOD中都是ω-强可测基数
假设存在可扩张基数，则无论哪种情况成立，HOD中都存在一个可测基数。
因为如果(1)成立，则HOD是к是超紧基数的弱扩张子模型，к显然是HOD中的可测基数。
而如果(2)成立，则更是显然。
HOD猜想HOD接近V,或者说，在ZFC内可以证明：在HOD中，{δ|δ是正则基数但不是ω-可测基数}是一个真类。
如果HOD猜想成立，则HOD是一个弱扩张子模型，反之亦然。
定理3.10假设к是一个可扩张基数，则以下命题等价：
1.HOD猜想成立；
2.HOD是是超紧基数的弱扩张子模型。
那么，HOD猜想是否成立呢？
它会不会像CH本身一样是独立的呢？
从目前的证据来看，这似乎不可能。
因为武丁证明，HOD猜想是脱殊绝对的：如果HOD猜想在V中成立，则它在V的所有脱殊扩张中都成立。
所以不可能用力迫法证明HOD猜想的独立性，而力迫法又几乎是唯一证明独立性的手段。
还有一些支持HOD猜想的证据，目前已经知道的是以下这点与ZFC一致：ω₁和ω₂在HOD中是强可测基数。
但是，我们甚至不知道HOD中是否能够容纳4个ω-强可测基数的正则基数；
也不知道对任意奇异基数γ,γ⁺是否是HOD中的强可测基数；
更不知道是否存在超紧基数以上的ω-强可测的正则基数。
如果HOD猜想成立，则HOD包含了一个弱扩张子模型，而这样的模型可容纳所有已知的大基数，因此是某种意义上的“终极L”模型。
武丁还提出了这样一种设想，即，在不知道如何构造“终极L”的情况下，我们仍可以叙述公理：“V=终极L”
V=终极L公理 公理“V=终极L”包括以下命题：
(1)存在武丁基数的真类W
(2)对任意∑3-语句，若φ在V中成立，则存在一个通用贝尔集A⊆R,使得
HODᴸ⁽ᴬʼᴿ⁾∩V_ΘL(A,R)⊨φ
终极L猜想假设是可扩张基数，则存在模型N满足：
(1)N是Κ是超紧基数的弱扩张子模型；
(2) N ⊆ HOD:
(3)N⊨“V=终极L”
定理3.11假设终极L猜想成立，
1.CH成立；
2.V=HOD:
3.猜想成立。
这样，我们可以合理地认为，如果终极L猜想成立，那它一定会在两个方向上为数学中的柏拉图主义辩护。
首先，它证明猜想成立，而根据第二节的分析，这从根本上拒绝了多宇宙的真理观。
因为，在Ω猜想成立的情况下，脱殊多宇宙真就可归结为H(δ₀⁺)中的真，这本质上与形式主义将真归结为在ZFC中可证是一样的。
正如我们已经指出的，这种对真理的看法无法说明这样的问题：为何一些独立性命题是无意义的而另一些不是？
其次，如果终极L存在，那ZFC的众多模型中就有一个非常特殊的。
它不仅可以容纳所有已知的大基数，而且具有很好的结构性质从而解决所有的自然的独立性问题。
同时，在“终极L中为真”对于集合力迫又是免疫的，从而不能用通常的力迫证明其独立性。
终极L的这种特殊性自然需要哲学上的解释。
武丁多次强调，这种特殊性源自它十分接近V,那个真实的集合论宇宙。
除了这种柏拉图主义的解释，我们暂时看不到任何其他的哲学立场能够做到这一点。
但伯克利基数的存在完全能让V≠终极L(莱茵哈特基数也行，但终极L否定了它)，而终极L“容纳所有大基数”是对超紧基数弱扩张子模N的H(k+)→H(j(k)+)嵌入封闭性的过度简化，它的的实质是，任意在V中成立的Σ2性质都会被某个内模型见证，然后这个内模型是终极内模型的子类
津ICP备2022002164号-2 © 2016-2023 iHuaBen.com 版权保护声明 不良信息举报:jubao@ihuaben.com
京公网安备11010502036362号