定义2.2(脱殊多宇宙的真)对任意ZFC的可数传递模型M，和对任意集合论语言中的语句σ，我们称
σ是M-脱殊多宇宙真的，当且仅当它在Vm的每个模型中都真，记作VM╞σ;
是M-脱殊多宇宙假的当且仅当VM╞┐σ;
σ是M-脱殊多宇宙无意义的当且仅当Vm╞／σ并且VM╞／-σ。
特别地，如果σ在由V生成的脱殊多宇宙中为真，则称σ是脱殊多宇宙真的，记作V乍口。其他概念类似。
根据推论1.4，如果VM的每个模型都满足“W是真类”，则PD是M脱殊多宇宙真的，根据定理1.5，对任意M，CH都是脱殊多宇宙无意义的。这看起来使得脱殊多宇宙立场比形式主义更精致，也更合理。似乎也在一定程度上回应了武丁的挑战。但是，武丁又通过一系列的数学工作论证了脱殊多宇宙立场难以成立，这需要定义武丁的Ω逻辑以及Ω猜想。
回忆一下，对任给结构『？』，『？』的理论定义为:
Th(『？』)={σ|ZFC╞“『？』σ”}。
仿此，我们定义任意结构烈在脱殊多宇宙真理观下的理论为:
ThM(『？』)={σ｜╞“『？』╞σ”}
对任意语句σ，形如“对任意无穷序数α，Vα╞σ”的断言是ll2断言。事实上，脱殊多宇宙的真理概念只适用于ll2语句，这是因为我们在定义脱殊多宇宙真理概念时只允许使用集合力迫。令是最小的武丁基数，则H(时)卜σ和H(时)Fσ都是II2断言。因此，如果令
Mll2={σ｜V╞σ并且σ是II2语句}
为所有II2多字宙真语句的集合，则ThM(H(δ0+))在集合Mll2中是递归的。但是，仿照塔斯基的真理不可定义性，相反的方向应该不能成立，人们把它总结成:第一多宇宙定律
所有I2多宇宙真语句的集合Mll2在H(δ0+)的脱殊多宇宙理论ThM(H(δ0+))中不是递归的。这一定律要求不能把整个集合宇宙中的所有II2真理，更不必说所有真理，归结为集合宇宙的一个片段H(δ0+)中的真理。这是一个合理的要求，因为如果脱殊多宇宙的模型类中只有V一个模型，则以上定律是显然成立的。
称一个集合YVω是借助多宇宙在H(δ0+)中可定义的，如果Y在多宇宙模型类的每个模型中都是在H(δ0+)中可定义的。出于同样的哲学考量，还可以有:第二多宇宙定律所有II2多宇宙真语句的集合M2不是借助多宇宙能在H(δ0+)中可定义的。如果脱殊多宇宙的真理观不能满足以上两条定律，那它与形式主义在根本哲学立场上就是一致的，即:
把整个集合宇宙的真归结为这个宇宙的某个清晰片段的真。
形式主义者把集合宇宙的真理归结为ZFC的定理，也就是归结为数论中的真，而脱殊多宇宙立场则是把集合宇宙的(lI2)真理归结为H(δ0+)，全体基数不超过最小武丁基数的集合。哥德尔借用他的不完全性定理，曾对形式主义的这一立场做过令人信服的反对。[3])而武丁则同样令人信服地证明，以上形式的脱殊多宇宙立场必然违反这两个定律，所以与形式主义的真理观并无根本差别。
定义2.3(武丁，1999)假设T是集合论语言中的可数理论，σ是集合论语言中的语句，我们定义σ是T的Ω-逻辑后承，记作T╞Ωσ，当且仅当对任意完全布尔代数B，对任意序数α，如果VB╞T，则VB╞σ
定理2.4(武丁，1999)假设W是真类，并且假设T是可数理论，σ是语句，则对任意完全布尔代数B
T╞Ωσ当且仅当VB╞“T╞Ωσ”。
这就是说，假设存在武丁基数的真类，Ω-逻辑后承关系是脱殊绝对的。特别地，全体Ω-逻辑有效式的集合VΩ={σ｜╞Ωσ}不能被任何力迫改变。
还注意到，假设W是真类，则MlI2与VΩ具有同样的图灵复杂度，即，每个集合都在另一个集合中是递归的。同样，假设W是真类，则集合VΩ(H(δ0+))={σ丨ZFC=σ“H(δ0+)╞σ”}恰好就是ThM(H(δ0+))。为了定义Ω逻辑的证明，我们需要回忆一些概念。一个拓扑空间是紧致的当，且仅当它的任意覆盖都有有穷子覆盖;它是豪斯道夫(Hausdorff)空间当且仅当它的任意两个不同点都有不相交的邻域。令S为紧致的豪斯道夫空间，称XS在S中有贝尔性质当且仅当存在开集OS使得对称差X△O在S中是贫乏集(meagerset).
定义2.5(冯琦、麦基道、武丁，1992)一个实数的子集A具有通用贝尔性质当且仅当对任意紧致豪斯道夫空间S，任意连续映射f:S→R，A在S下的原象具有贝尔性质。
定义2.6(武丁，1999)假设AR具有通用贝尔性质，M是ZFC的传递模型。称M是强A-封闭的当且仅当对任意N，如果N是传递的且是M的脱殊扩张，则A∩N∈N
定义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满足:
（本章未完，请点击下一页继续阅读）