脫殊擴張：是說包含 V -可定義的偏序集 P.然后 P上面有一個濾子稱之為脫殊濾子 G.
這個脫殊濾子對于 V而言就有一種 transcendence的感覺（即脫殊）接著然后通過把 G加到 V中來產(chǎn)生一個新的結(jié)構(gòu)：（ V的）
脫殊擴張 V[G].作為一個 ZFC的模型。
那么脫殊復(fù)宇宙就是：擁有在所有的力迫擴張（和一些 ground models）下 closure形式的宇宙 V.
這是 woodin的成果之一。
它確保了廣義連續(xù)統(tǒng)的成立。
脫殊復(fù)宇宙假設(shè)：脫殊復(fù)宇宙假設(shè)認(rèn)為我們所處的宇宙只是個例子，存在著許多類似于我們宇宙的其他宇宙，每個宇宙都有其自己獨特的物理規(guī)律和初始條件。這些不同的宇宙被稱為“平行宇宙”
脫殊復(fù)宇宙與復(fù)宇宙：在Hamkins關(guān)于復(fù)宇宙的描述出現(xiàn)之前，Woodin等人就提出過脫殊復(fù)宇宙(generic multiverse)的概念(參見[12]、[14]等).
Hamkins的復(fù)宇宙概念與脫殊復(fù)宇宙概念有較密切的聯(lián)系但不盡相同.
脫殊復(fù)宇宙是由一些宇宙生成的在力迫擴張關(guān)系的對稱閉包關(guān)系下封閉的集合論宇宙的聚合.
例如，假設(shè)M是一個可數(shù)傳遞的ZFC模型.
任給可數(shù)傳遞ZFC模型M1，M2，我們定義M1～Mz當(dāng)且僅當(dāng)M2是M；的力迫擴張或M；是M2的力迫擴張，則Va=[M]是由M生成的脫殊復(fù)宇宙.
定理(Laver 9-Woodin-Reitz10])如果V是W的力迫擴張(即W是V的基模型)，那么W是V的內(nèi)模型.
并且存在V的所有基模型的統(tǒng)一的定義.
即，存在集合論公式p(r，3)使得，如果V=WG是由W中的偏序P上的脫殊濾GCP生成的脫殊擴張，那么存在rW使W=fx|(ra)3.
根據(jù)上述定理，容易看出Hamkins的復(fù)宇宙概念由于滿足可實現(xiàn)公理和力迫擴張公理因而也是脫殊復(fù)宇宙.
顯然，脫殊復(fù)宇宙的強調(diào)的封閉性弱于復(fù)宇宙，這是因為，Hamkins通過復(fù)宇宙概念希望表達(dá)的是他關(guān)于集合論宇宙二階存在的多宇宙觀，而我認(rèn)為脫殊復(fù)宇宙在Woodin等人著作中被提出是實在論者在執(zhí)行哥德爾計劃過程中向形式主義的妥協(xié)脫殊復(fù)宇宙
定義1.
令M為ZFC的可數(shù)傳遞模型，則由M生成的脫殊多宇宙VM為滿足以下條件的最小模型類:
1.M∈VM;
2.如果N∈VM，而N'=N[G]是N的脫殊擴張，則N'∈VM;
3.如果N∈VM，而N=N'[G]是N'的脫殊擴張，則N'∈VM。
簡單說，VM是包含M并且對脫殊擴張和脫殊收縮封閉的最小模型類。由V生成的脫殊多宇宙記作V。
定義2.2 (脫殊多宇宙的真)對任意ZFC的可數(shù)傳遞模型M，和對任意集合論語言中的語句σ，我們稱.σ是M-脫殊多宇宙真的，當(dāng)且僅當(dāng)它在VM的每個模型中都真，記作VM=σ;
σ是M-脫殊多宇宙假的當(dāng)且僅當(dāng)VMF7σ;.
σ是M-脫殊多宇宙無意義的當(dāng)且僅當(dāng)VMFσ并且VMF7σ。
特別地，如果σ在由V生成的脫殊多宇宙中為真，則稱σ是脫殊多宇宙真的，記作V=σ。
脫殊擴張:力迫法
連續(xù)統(tǒng)假設(shè)的否定的一一致性，即(222)
ZFC- Com(ZFC)→Com(ZFC+-CH).
與哥德爾對已有zFC模型M進(jìn)行限制從而得到滿足特定命題的子模型L“的構(gòu)造方式不同，力迫法所構(gòu)造的模型M[GI是包含給定模型M為其子模型的更大的模型。
假設(shè)ZFC一致，那么由哥德爾的邏輯完全性定理”。
就存在一個ZFC的集合模型。
再由定理2.35.
及Motowsh坍塌，可以得到一個ZFe的可數(shù)傳遞模型，我們一般把可數(shù)傳遞模型作為力追法的原模型(grond moder).
元素稱作條件(onditon).
對ng∈p，若μ≤q(w≤η或ρ∞小.
我們稱條件p比η強;若p⊥小.
即不存在r∈P滿足r≤ρ且r≤小.
則稱條件ρ與q不相容或不能同真。
定義2.2.0假設(shè)P是偏序我們稱DSP是網(wǎng)密的(demwe).
當(dāng)且僅當(dāng)對任意ρ∈P，存在η∈D滿足η≤p
給定pEP.
我們說DSP在p之下稠密。
當(dāng)且僅當(dāng)DNPIp是PIr的稠密F集，其中PIp={q∈P|qs小。
定義2.2.7假設(shè)P是偏序，我們稱FCP是偏序P上的濾，當(dāng)且僅當(dāng)() PP.
(2)若p∈F且p<y.則η∈F.
定義2.2.8假設(shè)P是模型M中的偏序，G是偏序P上的濾.
我們稱P上面有一個濾子稱之為脫殊濾子 G.
我們一般要求力迫法的原模型 M是可數(shù)的，是因為這樣的話，對任意M中的保序P只有可數(shù)個M中的P上的網(wǎng)密果。
假文(D1<N是M中所有所有D.
都是稠密的，所以p總能夠取到。
令G={v∈P|3i<n(ws小}.
容易證明，G是濾，并且是M.脫殊濾。
因此，可數(shù)模型中的任意偏序上:總存在脫嚴(yán)格來說，我們對于用來力迫的條件集，印偏序P沒有任何額外要求。
但在力迫法的實際運用中，偏序集P椰滿足如下性質(zhì)，(22)
對任意p∈P，存在qsp.rSμ滿足q⊥r.
定理2.2.9 P∈M1是偏序。
P滿足(223).
當(dāng)且儀當(dāng)任意P上脫殊
因此，對于不滿足(22.3)的偏序，存在其上脫殊濾G∈M.
又根據(jù)定理2.16.
由此生成的脫殊模型MI(C]= M，將沒有意義。
我們稱之為平凡力迫。
他的世界，而這種在M中的人們看來可能的世界。
在M“之外”的人們看來卻是一個現(xiàn)實的集合模型MI(G].
我們定義M中人們用來指稱MI(C)中對象的專名(但名)的集合M“:
定義2.2.10 r是P名，當(dāng)且僅當(dāng)+是關(guān)系，且對任意(.D)∈T，π是只名且ρ∈P.
注意，上述定義應(yīng)理解為遞歸定義。而并非循環(huán)定義。
定義22.11τ是P名， G:是脫殊濾.?={t°1(Br∈()(，1E小
定義脫蛛擴張
MIG(={r°IreMr).
注意，r的定義也是遞歸的。
我們還可以用遞歸方式來定義基礎(chǔ)模型中集合的典范名。
定義2.2.18 G=(.川)1pe則)
注意， C其實不依賴于具體的脫殊濾G且C∈M. G是M中的人們用來指稱G的名字，但生活在M中的人并不知道G到底是什么，事實上，的解杯(定2.1)，包括G自身:WWw. M(q).
最后，我們定義力迫語言的語義。
即條件與力迫訊言公式之間的力迫關(guān)系().
定義22川)()μ4η≤加當(dāng)且僅當(dāng)對任意(m，nen.集p啡η一η當(dāng)且僅當(dāng)ρlηSηHplηζη.
l在之下稠密當(dāng)集合{0≤p 30.n)∈n60≤rλ9θπ=(2)pHρ入ψ.
當(dāng)且僅當(dāng)pHp且pe.
(3)plHψ.
當(dāng)且僅當(dāng)對任意ηSp井非q14.
()pFarp()，當(dāng)且僅當(dāng)集合{veP|3(r是P名(4())在ρ之下
上建定文中，()中的(n).
()是基于辦刀所屬階層的遭歸定義.
該部分，即條件與原子公式的力迫條件與原子公式的力迫關(guān)系。
在M下是絕對的。而整個定義。
即()-(v)，.
應(yīng)被視為基于公式復(fù)爾度的通的定義。
注意(于和中的無外量調(diào)物，所以一力迫關(guān)系可理解為 MN中的人“所掌握的關(guān)于M(C]的一般知識的體系。
即如果p力迫φ.
那么無論MI(G]到底是什么(無論取什么G)，若條件p真(w∈G)，則ρ也真(sM().
這正是下述定理所表達(dá)的
定理2.2.15
M是ZFC的可數(shù)傳遞模型，P是N中偏序，G是P上(相對于M)的脫殊濾。
則存在M的脫殊擴張M|GI，給定公式.......(所有自由變元已列出)和....則.....當(dāng)且儀當(dāng)和e G(n4......由此，可以進(jìn)-步得到脫殊擴張基本定理。
定理2.2.16 (脫殊擴張基本定理) M是ZFC的可數(shù)傳通模型，P是M中偏序，G題P上(相對于M)的脫殊濾。
則存在M的脫殊擴張MICI，滿足:(1) MIG]見ZFC的傳通模型。
(2) MS MI(G] lGe M(]:
(3) M[G]是滿足(1).(2)的最小極型。
品然，脫殊擴張sM(q可以被看作是s1加上一個脫殊迪a生成的集合論運算下的閉包，利用脫殊擴張基本定理，我們可以通過設(shè)計M中的偏序P來逐步迫近那個無法在M中存在的脫殊池G.
使得生成的G見證了M(G]滿足我們所希望的性質(zhì)。
脫殊復(fù)公式為： T =(2G/c^2)*(M/R)其中，T表示脫殊時間，G表示引力常數(shù)，c表示光速，M表示宇宙質(zhì)量，R表示宇宙半徑。
脫殊復(fù)復(fù)宇宙
定義(復(fù)復(fù)宇宙公理)：存在一個復(fù)宇宙，并且對任意復(fù)宇宙M，存在一個復(fù)宇宙N以及N中的一個ZFC模型N，使得在N看來，M是一個由可數(shù)的非良基的ZFC模型組成的復(fù)宇宙.
就像復(fù)宇宙公理對復(fù)宇宙的描繪，其中的集合論宇宙沒有哪個是特別的，對任何集合論宇宙都存在著“更好的”宇宙能看到前者的局限性，復(fù)復(fù)宇宙公理表達(dá)的是每個復(fù)宇宙也都不是特別的，并且總存在著“更發(fā)達(dá)的”復(fù)宇宙，在它們看來前者只是一個“玩具”復(fù)宇宙.
類似定理5.2.5，在一個不太強的假設(shè)之下，我們同樣可以證明復(fù)復(fù)宇宙公理也是一致的.
公理5.2.10
令N是ZFC+Con(ZFC)的模型.則N中的復(fù)宇宙M?從外面看仍然是一個復(fù)宇宙，即111?????M1=(m1，E1)|N=(m?，E?)∈M???是一個復(fù)宇宙.
證明(1)可數(shù)化公理，給定111??(m1，E1)∈M1.??
由N中的可數(shù)化公理，存在n?. F?∈N，有??
Ni(n0，F(xiàn)0)∈M0∧F(n0，F(xiàn)0)≠m0??是可數(shù)的?.
由定義，(n1，F(xiàn)1)∈M1;由(5.2.1)，(n1，F(xiàn)1)=m?是可數(shù)的.由注5.2.2，我們說m1是n1中的一個可數(shù)集合.
類似地，我們也有
(2)偽良基公理.
(3)可實現(xiàn)公理，給定111、1(m1，E1)∈M1、a∈m1??
以及公式φ(v?，v?).
由N中的可實現(xiàn)公理，存在n?∈N，使得
N=n°={x∈m3|(m?，E?)=φ[x，a]}∧(n?，E?)∈M???
∧T(m0，E0)=T(n0，E0)=ZFC?T.??
所以，我們有??(n1，E1)∈M1;??
并且對任意x∈m1?N，??x∈n2?N=x∈n0??
( 5.2.2)
???N=r(m0，E0)|=φ[x，a]?????
?(m1，E1)=φ[x，a]??
可得 n1={x∈ m1|(m1，E1)|=φ[x，a]}是模型m3中參數(shù)可定義的類：
又由(11??????5.2.1)，(m1，E1)=?(n?，E?)=ZFC?，??因此我們說(m1，E1)認(rèn)為(n3，E1)是一個ZFC模型.
(4)力迫擴張公理，給定模型 m3∈M1，公式φ和參數(shù)a∈m3，φ(x，a)在m3中定義了一個偏序P1，由N中的力迫擴張公理，存在N中的n?.G°，使得N=n?∈M?∧G?是P?上的m?脫殊濾∧n?=m3[G?]
首先，我們有： n1∈M1.其次，我們希望 G1={x∈N|N|x∈G?}是P1上的m1脫殊濾.
容易證明，G1是P1上的濾，現(xiàn)任給D?∈m1，使得 D1={x∈m1|
m1=x∈D?}是P1的稠密子集.
則m1=D?是P?上的稠密子集.
因而 N=ρm?|=D?是P?上的稠密子集?，由于N認(rèn)為G°脫殊，故??
N=D1N=??1?????x∈m1|m?≠x∈D?∩G?≠0.??
即存在?x∈N，N=x∈G???
且NE??[m0]=x∈D0?7??
(即m1|=x∈D?).因此 G'∩D1≠0.
最后，我們證明 n2=m2[G1].
由定理2.2.16，我們只需證明m3?n3，G?∈n1，并且n3所有元素，都是從G?和m1中參數(shù)可定義的.
m3?n2、G?∈n3，由 N=m??n?及NFG°∈n?可得，現(xiàn)任給x∈n3，即 N = x∈ n?.
由?????N=n?=m?[G?]，??
存在公式v及參數(shù)b∈m1使得??????N=?n?=?y(ψ(y，b，G?)∧x=y)?.??
因而 n3|=?!y(v(y，b，G?)∧x=y).
(5)嵌入回溯公理.
給定模型m11∈M1，公式φ1.42和參數(shù)??a，b∈m12，??假設(shè)??m1l??認(rèn)為:“j?(其中??j11={x∈m11|m11|=φ1[x，a]}??是從自身到模型??m20={x∈????m11|m11|=φ2[x，b]}??的∑o初等嵌入.”我們把引號中的公式(集)記為v[a，b].
則??m11=?[a，b]，??由(5.2.1)，??N|F|Tm10|=ψ[a，b]?1.??
再由5.2.3，N認(rèn)為j?確實是初等嵌入，由N中的回溯嵌入公理，存在N中m00??以及參數(shù)a?，b?，使得??N=m00∈M0∧a0，b0∈m00∧rm00=ψ[a0，b0]?1????∧j00(a0)=a∧j00(b0)=b∧m10={x∈m00|m00+φ2[x，b0]}??
其中，j?是模型??m0θ??中由公式φ1和參數(shù)a?定義的.我們有，??m01∈M1;??類似(5.2.2)，??m11={x∈m01|m01|≡φ2[x，b0]}，??是模型??m01??中參數(shù)定義的類：在m01??看來，??j01={x∈m01|m01|=φ1[x，a0]}??是從自身到??m12??的初等嵌入，即m01=ψ[a0，b0];??并且 j?(a?)=a. j?(b?)=b，從而??j01(j01)=j11.??
定理5.2.11(主定理)假設(shè)存在一個不可達(dá)基數(shù)k.
令M=CCSMNR(ZFC+??Con(ZFC))是??VK??中所有可數(shù)的可計算飽和的ZFC+Con(ZFC)模型組成的集合.
則M.M={CCSMN(ZFC)|N∈M}.??
是由復(fù)宇宙組成的集合，且滿足復(fù)復(fù)宇宙公理.
證明首先，由于k是不可達(dá)基數(shù)，那么Vn是ZFC的模型，由向下的L?wenheim-Skolem定理，存在一個ZFC的可數(shù)模型(ω. R).顯然，該模型也在???
V???中，因此，V?也是ZFC+Con(ZFC)的模型，類似地，我們可以迭代任意有窮次，如???
V?=ZFC+Con(ZFC+Con(ZFC)).??
又由可計算飽和模型存在定理(參見[3，112])，∥非空.
對任意N∈，∥，N是ZFC+Con(ZFC)的模型.
由定理??5.2.5，CCSMN(ZFC)??的復(fù)宇宙，由于可計算飽和模型都是非良基的，在N看來??CCSMN(ZFC)??中的模型都是非良基的，由引理5.2.10，從外面看，??CCSMN(ZFC)??也確實是復(fù)宇宙.
現(xiàn)在我們只需要證明存在一個. M. M中的一個復(fù)宇宙，而N是其中的一個元素.
對任意??N∈M，Vn=ΓN=ZFC+Th(N)T.??因而，TN=ZFC+{Con(ZFC+??Γ)|Γ是Th(N)的有窮子集}是一致的.
由之前的分析，Vn|=Con(TN).??
在V?中應(yīng)用引理5.2.8，存在M∈.
M，在M看來N是一個可數(shù)的可計算飽和的ZFC模型，即N是復(fù)宇宙??CCSMM(ZFC)??中的元素.
從復(fù)宇宙公理以及復(fù)復(fù)宇宙公理的一致性證明中，我們看到，ZFC、復(fù)宇宙公理、復(fù)復(fù)宇宙公理在一致性強度上形成一個遞增關(guān)系.
雖然它們在一致性強度上的增加幅度很有限，事實上復(fù)復(fù)宇宙公理的一致性強度要低于存在一個不可達(dá)基數(shù).
但我們有理由期望，隨著我們對集合論模型間關(guān)系的進(jìn)一步理解，隨著我們開發(fā)出新的構(gòu)造集合論模型以及集合論復(fù)宇宙的方法，我們可以補強復(fù)宇宙公理和復(fù)復(fù)宇宙公理，更進(jìn)一步，我們可以期望有任意n階甚至o階的復(fù)宇宙公理，它們也許能提供類似大基數(shù)公理那樣的一致性強度的層級結(jié)構(gòu).
事實上，無論是復(fù)宇宙公理還是復(fù)復(fù)宇宙公理所描繪的集合論宇宙或復(fù)宇宙之間的關(guān)系，與哥德爾的“之集合”(set of)運算的直觀都非常接近.
復(fù)宇宙是集合論宇宙的集合，而復(fù)復(fù)宇宙是復(fù)宇宙的集合.而且它們所要表達(dá)的，即所有的集合論宇宙都被“更好的”集合論宇宙看作是一個“玩具”模型，所有的復(fù)字宙都被“更發(fā)達(dá)的”復(fù)宇宙看作是一個“玩具”復(fù)宇宙，無非是在說這個宇宙，無論把它稱作集合的宇宙還是包含集合和集合的宇宙的宇宙或是別的名稱，是極大豐富的.這與ZFC中的存在性公理乃至大基數(shù)公理背后的直觀是一致的.
如果，我們僅把ZFC所保證存在的對象稱作集合，那么不可達(dá)基數(shù)可能就不是一個集合.不可達(dá)基數(shù)公理的意義在于斷定宇宙中存在不可達(dá)基數(shù)這樣一種對象.
至于是否把它稱作集合，并不重要.從大基數(shù)的這個特質(zhì)可以看出大基數(shù)公理的“高階”本質(zhì).某個大基數(shù)公理說“性質(zhì)P°不足以描述宇宙之大”，這本身是描述宇宙之大的性質(zhì)，我們稱作P1，而更大的大基數(shù)又說“P1不足以描述宇宙之大”.
如此不斷擴展.同理，復(fù)宇宙公理斷定宇宙中存在很多集合論宇宙這樣的對象.即認(rèn)為現(xiàn)有的集合論公理對這個抽象世界的看法，只看到了其中的一個很小的部分，即某個集合論宇宙，把這些集合論宇宙當(dāng)作不同于普通集合的二階對象還是就把它們看作普通集合，并不重要.重要的是，我們可以很自然地想象由一個集合論宇宙和一個普通集合組成的對集：一些滿足特定性質(zhì)的集合論宇宙和普通集合.
換句話說，我們可以將取子集、并集、冪集、投射等集合運算運用于集合論宇宙和普通集合之上，并且不產(chǎn)生矛盾；如同我們可以將這些運算運用于有窮集合和w之上，從而構(gòu)造出各種各樣的無窮集合，抑或運用于“可達(dá)的”集合和不可達(dá)基數(shù)之上從而構(gòu)造出各種“不可達(dá)的”對象一樣.
因此，各種集合論宇宙的存在并不妨礙我們假設(shè)我們在探索一個客觀的宇宙.
正如傳統(tǒng)實在論對大基數(shù)公理的理解，對復(fù)宇宙的豐富性的描述也可以理解為是在陳述這個客觀宇宙的豐富性.
哥德爾在[19]的腳注18中談到一種可能的獲取新公理的途徑非常類似復(fù)宇宙公理或復(fù)復(fù)宇宙公理這種源于關(guān)于集合的“高階”概念的直觀的公理表達(dá).
類似地，“集合的性質(zhì)”(集合論的第二個主要術(shù)語)的概念給出關(guān)于它的公理的擴展，更進(jìn)一步，“集合的性質(zhì)的性質(zhì)”的概念等等，也可以被引入，由此而來的這些新公理，他們后承中那些關(guān)于集合的有界域的命題(如連續(xù)統(tǒng)假設(shè))[也應(yīng)]包含在關(guān)于集合的公理中(至少就我們現(xiàn)在所知).
即使一些多宇宙觀的擁護者堅持認(rèn)為存在一個絕對客觀的復(fù)宇宙，即關(guān)于集合論宇宙有一個客觀的概念，或是認(rèn)為存在一個絕對的復(fù)復(fù)宇宙甚至更高階的復(fù)宇宙.
我們?nèi)匀豢梢云谕?，這個絕對的復(fù)宇宙并上其中的集合論宇宙中的集合組成的宇宙與傳統(tǒng)集合實在論所設(shè)想的那個絕對的集合論宇宙最終是一樣的，這種期望似乎是無矛盾的，事實上，如果M=CCSMV(ZFC)??并且V=Con(ZFC).那么M∪UM=V.
因此，主張絕對客觀的復(fù)宇宙和主張絕對客觀的集合論宇宙并沒有本質(zhì)的沖突。
總之，如果多宇宙觀的擁護者所強調(diào)的是那些集合論宇宙也擁有和普通集合一樣的實在性，那么無論他們是否進(jìn)一步主張更高階宇宙的實在性，他們的觀點和傳統(tǒng)集合實在論的觀點都是相容的.