定义2.7(武丁，1999)假设W是真类。假设T是可数理论，σ是语句，则T├Ωσ当且仅当存在AR:

1.A是通用贝尔集;

2、对任意可数传递模型M，若M是强A-封闭的且T∈M，则M╞“T╞Ωσ”。

定理2.8(武丁，1999)假设W是真类，并且假设T是可数理论，σ是语句，则对任意完全布尔代数B，

T├Ωσ当且仅当VB╞“T╞Ωσ”。

定理2.9(武丁，1999)假设W是真类。如果T├Ωσ，则T╞Ωσ。

几猜想假设W是真类。对任意语句σ，╞Ωσ当且仅当├Ωσ

叙述了什么是几猜想，我们就可以回到武丁的回应上了:

定理2.10假设W是真类且几猜想成立，则Vn在集合VΩ(H(δ0+))中是递归的。根绝前面的分析，这实际上是说脱殊复宇宙立场违反了第一多宇宙定律。而下面的定理则是说，这一立场同样违反第二多宇宙定律。

定理2.11假设W是真类并且Ω猜想成立，则V在集合H(δ0+)中可定义。所以，脱殊复宇宙真理观不过是一种更为精致的形式主义。当然，这种站在柏拉图主义立场上的挑战要依赖于Ω猜想的成立与否。接下来我们讨论一些更新的进展，它们似乎在某种意义上暗示这个猜想是真的。

3终极L理论

Ω猜想如果不成立，那一定是因为某个大基数公理，而且这个大基数公理超出了现有内模型计划。所谓“内模型计划”指的是构造一个类似于L的模型，在其中某个大基数公理成立。这项研究计划的动机源自于斯科特(D.Scott)的以下定理:

定理3.1(斯科特，1961)假设存在一个可测基数，则V≠L。

也就是说，哥德尔的L不能容纳可测基数，当然也不能容纳更大的基数。所以，这样的问题自然就被提了出来:

是否存在一个类似于L的模型，它能容纳可测基数或更大的基数

很快，库能(K.Kunen)证明了

定理3.2(库能，1970)假设U是κ上的κ完全的正则非主超滤，则在L[U]中，κ是一个可测基数，并且是唯一的可测基数

这实际地开启了内模型的研究计划，并且在随后的年代里，这个计划取得了相当的成功。目前人们已经能够构造可以容纳强基数的内模型。

但是，Ω猜想与已有的具有内模型的大基数都是相容的，所以要证明它不成立，我们需要容纳更大无穷的内模型。不唯如此，能证明Ω猜想不成立的大基数公理一定在大基数层谱中处于一个十分关键的位置，这一位置必定会有“来自内模型理论的证据”。(参见[9])

另一方面，如果Ω猜想在所有已知的大基数公理下都成立，那就是猜想在V中成立的强烈依据。而武丁有关终极L的研究表明，所有的证据都显示，没有任何已知的大基数公理会否证猜想。我们以下简述这一重要的思想。(在以下的讨论中，所有未注明的定理和定义都属于武丁。)

如果存在可测基数，则V≠L，所以L虽然具有很好的结构性质，并且V=L可以解决包括CH在内的独立性问题，但它不可能是新公理的候选，L与V相差太远了。库能的L[U]可以容纳可测基数，在这个意义上比L更接近V。但是，L［U]中只有一个可测基数，它甚至不能容纳第二个可测基数，更不必说更大的基数了。所以，最终的任务就成了构造一个可以容纳所有大基数的类L结构，人们将这样的结构称为“终极L”。这看起来是不能完成的任务，因为在构造容纳大基数的内模型的过程中，人们发现每向上一步，都只能得到仅仅包含一个相应大基数的模型，要想容纳所有的大基数，我们有无穷多个内模型需要构造。但是，武丁的一个重要发现彻底改变了这种情形，这又需要一些新的数学定义:

定义3.3假设N是一个ZFC的模型，δ是一个超紧基数，如果对任意λ＞δ，存在Pδ(λ)一个δ-完全的正则精良超滤U满足:

(1)Pδ(λ)∩N∈U;

(2)U∩N∈N，

就称N是关于δ是超紧基数的弱扩张子模型(weakextendermodel)。

弱扩张子模型之所以重要，是因为它有我们需要的性质。首先，它十分接近V。就我们目前的问题而言，这意味着它有正确的基数概念。

定理3.4假设N是关于δ是超紧基数的弱扩张子模型，并且在N中，λ＞δ是正则基数，则在V中，cf(λ)=|λ|。特别地，如果λ在V中依然是基数，则它在V中是正则的。

推论3.5假设N是关于δ是超紧基数的弱扩张子模型，并且在V中，γ＞λ是奇异基数，则

(1)λ在N中是奇异基数;

(2)(γ+)N=γ+，即N能正确地计算奇异基数的后继。

不仅如此，与以往的内模型不同，弱扩张子模型可以容纳任意多的可测基数。

推论3.6假设N是关于δ是超紧基数的弱扩张子模型，并且在V中，κ＞δ是奇异基数，则κ在N中是可测基数。

事实上，弱扩张子模型可以容纳δ以上的所有大基数!

定理3.7(普遍性)假设N是关于δ是超紧基数的弱扩张子模型，并且在V中，γ＞δ是正则基数，并且

π:(H(κ+))N→(H(π(κ)+))N

是一个初等嵌入，并且crt(π)＞δ，则π∈N。

也就是说，V中δ以上的大基数都在N中保持为δ以上的大基数。这不能不说是一个令人惊奇的结果。

但是，弱扩张子模型是否存在呢到目前为止它只是一个抽象的概念。但有一些数学“证据”暗示其存在。

定理3.8(詹森，1974)L或者非常接近V或者离V很远。即以下二者必居其一:(1)对任意V中的奇异基数γ，γ在L中是奇异基数，并且(π+)L=γ+;(L非常接近V。)

(2)每个不可数基数在L中都是不可达的。(L与V相差很远。)

武丁则得到了关于HOD的类似结果。

定理3.9假设κ是可扩张基数，则HOD或者非常接近V，或者(在κ以上)离V很远。即以下二者必居其一

(1)对任意V中的奇异基数，γ在HOD中是奇异基数，并且(γ+)HOD=γ+;(2)所有大于κ的正则基数在HOD中都是ω-强可测基数。

假设存在可扩张基数，则无论哪种情况成立，HOD中都存在一个可测基数。因为如果(1)成立，则HOD是r是超紧基数的弱扩张子模型，r显然是HOD中的可测基数。而如果(2)成立，则更是显然。

HOD猜想HOD接近V，或者说，在ZFC内可以证明:在HOD中，{δ|δ是正则基数但不是ω-可测基数}是一个真类。

如果HOD猜想成立，则HOD是一个弱扩张子模型，反之亦然。

定理3.10假设κ是一个可扩张基数，则以下命题等价:

1.HOD猜想成立;

2.HOD是κ是超紧基数的弱扩张子模型。

那么，HOD猜想是否成立呢它会不会像CH本身一样是独立的呢从目前的证据来看，这似乎不可能。因为武丁证明，HOD猜想是脱殊绝对的:如果HOD猜想在V中成立，则它在V的所有脱殊扩张中都成立。所以不可能用力迫法证明HOD猜想的独立性，而力迫法又几乎是唯一证明独立性的手段。

还有一些支持HOD猜想的证据，目前已经知道的是以下这点与ZFC一致:ω1和ω2在HOD中是ω-强可测基数。但是，我们甚至不知道HOD中是否能够容纳4个ω-强可测的正则基数;也不知道对任意奇异基数γ，γ+是否是HOD中的ω-强可测基数;更不知道是否存在超紧基数以上的ω-强可测的正则基数。

如果HOD猜想成立，则HOD包含了一个弱扩张子模型，而这样的模型可容纳所有已知的大基数，因此是某种意义上的“终极L”模型。武丁还提出了这样一种设想，即，在不知道如何构造“终极L”的情况下，我们仍可以叙述公理!“V=终极L”

V=终极L公理

公理“V=终极L”包括以下命题:

(1)存在武丁基数的真类W;

(2)对任意∑3-语句ρ，若ρ在V中成立，则存在一个通用贝尔集ACR，使得

HODL(A，R)∩VθL(A.R)╞ρ

终极L猜想假设K是可扩张基数，则存在模型N满足;

(1)N是K是超紧基数的弱扩张子模型;

(2)NHOD;

(3)N╞“V=终极L”

定理3.11假设终极L猜想成立，则:

1.CH成立;

2.V=HOD;

3.Ω猜想成立。

这样，我们可以合理地认为，如果终极L猜想成立，那它一定会在两个方向上为数学中的柏拉图主义辩护。首先，它证明Ω猜想成立，而根据第二节的分析，这从根本上拒绝了多宇宙的真理观。因为，在Ω猜想成立的情况下，脱殊复宇宙真就可归结为H(δ0+)中的真，这本质上与形式主义将真归结为在ZFC中可证是一样的。正如我们已经指出的，这种对真理的看法无法说明这样的问题:为何一些独立性命题是无意义的而另一些不是

其次，如果终极L存在，那ZFC的众多模型中就有一个非常特殊的。它不仅可以容纳所有已知的大基数，而且具有很好的结构性质从而解决所有的自然的独立性问题。同时，在“终极L中为真”对于集合力迫又是免疫的，从而不能用通常的力迫证明其独立性。终极L的这种特殊性自然需要哲学上的解释。武丁多次强调，这种特殊性源自它十分接近V，那个真实的集合论宇宙。除了这种柏拉图主义的解释，我们暂时看不到任何其他的哲学立场能够做到这一点。