集合論の地質学 3：Bukovský の定理──強制拡大の特徴付け石井大海

2017-11-30
概要
本稿は集合論の地質学に関する記事の第三回目です：

1. 概観と基礎モデルの定義可能性
2. マントルの構造と下方有向性原理
3. Bukovský の定理──強制拡大の特徴付け（今回）4. 下方有向性原理の証明
集合論の地質学は，与えられた集合論の宇宙 V の内部モデルがいかなる生成拡大になっているかを考える
集合論の分野です．薄葉 [5] を種本にその基本定理である下方有向性原理を示すのがこのシリーズの目標ですが，今回はその中で大きな役割を果す，Bukovský による強制拡大の特徴付けを証明します．

1

Bukovský の定理：大域被覆性質による特徴付け
前回までの結果により，与えられた宇宙 V の基礎モデルすべてを一様に列挙出来るようになり，マントルという構造を定義出来るようになった．

Def. 1.

• マントル M とは V の基礎モデルすべての共通部分である．

• 生成マントル gM とは V のすべての生成拡大のマントルの共通部分である．

gM と M は一致するのか？ これらは ZFC のモデルになるのか？ といった問題が自然と浮かんでくるが，そうした問題は薄葉 [5] によって証明された次の基礎モデルの強い下方有向性定理によって一挙に解決されたのだった：

定理 1 (強い下方有向性定理，sDDG；Usuba [5]). 任意の集合 X に対し，{ Wr | r ∈ X } の共通の基礎モデルが存在する．但し，Wr は r によって決定される V の基礎モデルを表す．

系 1. M = gM であり，M は ZFC を満たす内部モデル．

1

いよいよこの定理を示していきたいが，その中では次の古典的な Bukovský の定理が重要な役割を果す：

Def. 2. M ⊆ V を共に ZFC のモデルとする．(M, V ) が κ-大域被覆性質（κ-global covering property;
defκ-GCP）を持つ ⇐==⇒ 任意の順序数 α ∈ On と V の関数 f : α → On に対して，F : α → [On]<κ でF ∈ M かつ f (α) ∈ F (α) を満たすものが取れる．

定理 2 (Bukovský[1]). M ⊆ V を ZFC の内部モデルとし，κ が M で正則基数であるとする．このとき，次は同値：(1) κ-c.c. 擬順序 P ∈ M と (M, P)-生成フィルター G ∈ V があって V = M [G].
(2) (M, V ) は κ-大域被覆性を持つ．

任意の擬順序集合 P について，P は |P|-c.c. を持つので，上の Bukovský の定理はあらゆる強制法 *1) による強制拡大の特徴付けを与えている．
そこで，今回は Friedman–Fuchino–Sakai [2] と Schindler [4] を参考に Bukovský の定理の現代的な証明を与える．
強制法の一般論から，κ-c.c. 拡大なら κ-大域被覆性質を持つことはわかる：

補題 1. P が κ-c.c. 強制概念，G が (V, P)-生成フィルターの時，(V, V [G]) は κ-大域被覆性質を持つ．

Proof. V [G]f˙G = f となる P-名称 f˙ ∈ V P をとる．このとき，各 ξ < α にn において f : α → On を固定し，oˇ = β̌” に含まれる中で極大な反鎖とする．P は κ-c.c. を満たすので，各 ξ
対し Aξ を p ∈ P ∃β p “f˙(ξ)
noˇ = β̌” とおけば，各 F (ξ) の候補は高々につき |Aξ | < κ となる．そこで F (ξ) := β ∃p ∈ Aξ p “f˙(ξ)κ 個未満しかないので，F : α → [On]<κ かつ F ∈ V となる．また，定義より明らかに f (ξ) ∈ F (ξ) が成り
立つ．

1.1



大域被覆性質から κ-c.c. 強制拡大の特徴付け

よって，後は逆向きの命題，即ち「(W, V ) が κ-大域被覆性質を持つなら V は W の κ-c.c. 生成拡大となる」を示していけばよい．つまり，(W, V ) が κ-大域被覆性質を満たすとして，W において κ-c.c. を満たす

P ∈ W と (W, P)-生成的な G ∈ V で V = W [G] を満たすようなものを見付けてこなくてはいけない．
*1) 正確には，擬順序集合による強制法の特徴付けであり，真のクラスを成すような擬順序による強制法の特徴付けにはならない．本稿では断わらない限り擬順序集合による強制法しか考えない．

2

これは次のような戦略で示される：(1) (W, V ) が κ-大域被覆性質を持つなら，V の任意の集合は κ-c.c. 強制法で W に付け加えることが出来る．

(2) また，非自明な κ-c.c. 強制法は必ず 2<κ の部分集合を付け加える．
• つまり，P(2<κ ) を変えない κ-c.c. 強制法は自明で，宇宙に何の影響を与えないことになる．
(3) そこで κ-c.c. 強制法で A = P V (2<κ ) を W に付け加え W [A] とする．W [A] = V となっていることを示せばよい．

(4) このとき (W [A], V ) も κ-大域被覆性質を持ち，κ-c.c. 拡大によって V の任意の集合 x ∈ V を付け加えられる．

(5) しかし，W [A] の時点で P(2<κ ) はめいっぱいに取れているので，W [A] と W [A][x] で P(2<κ ) の値は一致する．

(6) よって x ∈ W [A][x] = W [A] となり，x ∈ V は任意だったから V = W [A] となる．

1.2

非自明な κ-c.c. 強制法は 2<κ の部分集合を足す

まずは上の (2) を示そう．これは次のようにして示せる：

補題 2. P が非自明な κ-c.c. 強制概念なら P は新たな 2<κ の部分集合を足す．

Proof. Ṫ を V に属さない順序数の集合の名前とする：

P “Ṫ ∈ P(On) \ V̌ ”．十分大きな θ をとり，次を満たす M ≺ Hθ をとる：

(1) |M | ≤ 2<κ ,(2) <κ M ⊆ M ,(3) Ṫ , P, κ ∈ M .
Ṡ をS ∈ P(2PṠ = Ṫ ∩ M̌ なる P-名称とする．このとき

<κ

P

“Ṡ ∈
/ V̌ ” が示せれば良い．そこで p ∈ P と) ∩rV で p z “Ṡ = Š” となるものがあったとして矛盾を導く．簡単のため P は完備 Boole 代数だとして，p := Ṡ = Š

> 0 となら P が濃度 κ の反鎖を持つことを示せばよい（背理法）．

発想としては，Ṡ の値が Š と途中の桁までは一致するが，ある点で食い違うように強制する条件の列が求めるものになる．具体的には，以下を満たすように ξα ∈ M ∩ On および pα , qα ∈ P ∩ M をとっていく：(1) 0 < pβ , qβ ≤ pα and p ≤ pα if α < β < κ,(2) ξα ∈ S なら pα ξˇα ∈ Ṫ and qα ξˇ ∈/ Ṫ ．ξα ∈/ S なら pα と qα の役割を逆にする．

3

こうすれば，A = { qα | α < κ } が濃度 κ の反鎖となるのは明らか
である．

Ȧ

では実際にとっていく．γ < κ に対して，hpα , qβ | β < γi まで上S

記を満たすように取れているとする．M が <κ-列で閉じていることから hpα | α < γi ∈ M となり，特に p0 :=Q

p0α<γ pα ∈ Mr である．
z

特に，pα たちは Š を近似するようにとれているから，p = Ṡ = Š

p1

より 0 < p ≤ p0 となる事に注意する．一方，初等性より M |=rzrzξγ ∈ Ṫ , p0 · ξγ ∈/ Ṫ がrz
共に正となるものが取れる．そこで ξγ ∈ S なら pγ := p0 · ξγ ∈ Ṫ ,rzqγ := p0 · ξγ ∈/ Ṫ とし，そうでなければ逆になるように pγ , qγ を“

/ V̌ ” なので，ξγ ∈ M ∩On で p0 ·P Ṫ ∈

pα

ξ0

ξ1

ξα

ξ0
ξ1

ξα

q0

q1

qα
M

定めれば，上記の条件を満たすように取れる．
よって望み通り A = { qα | α < κ } が取れた．ここでもし α < β なら qα と qβ は ξα の Ṫ への所属の可否で互いに食い違っているので両立しないから，A は濃度 κ の P の反鎖となる．

系 2. P が κ-c.c. 強制概念，G が (V, P)-生成的で P(2<κ ) ∩ V = P(2<κ ) ∩ V [G] なら，V = V [G].

1.3

大域被覆性から κ-c.c. 強制法を得る

よって，後は上の (1)，つまり (W, V ) が κ-大域被覆性質を持つなら，V の任意の元を κ-c.c. 強制法で付け加えられる事を示そう．より強く，任意の x ∈ V が何らかの κ-c.c. 強制法 Px ∈ W の生成フィルター Gx と一対一に対応しており，V [Gx ] が x を含む最小の V の拡大となることを示す．
いま，我々が考えているのは ZFC のモデルだけであり，任意の集合は順序数の集合でコードできる．よって，特に V の順序数の集合についてだけ考えれば良い．
そこで，ある特定の順序数の部分集合の情報を記述するのに十分な無限論理の体系を考えよう．

Def. 3. κ ≤ µ を無限基数とする．無限論理 L := Lκ (µ) を次で定める：
述語記号 各 ξ < µ に対し ξˇ ∈ ȧ をゼロ項述語記号（述語定数）とする．
論理式 (1) 原子論理式 “ξˇ ∈ ȧ” は論理式である．

(2) ϕ が論理式なら ¬ϕ も論理式．
(3) Γ ⊆ L が κ 個未満の論理式の集合なら，

W
W

4

Γ も論理式．

注意 1.

• Lκ (µ) の論理式の集合は，考えるモデルによって変わる．実際，W の中では濃度 κ 以上
W
W
だった集合 Γ が V の中では κ 未満になっている場合があり，この場合
Γ は W では定義されな
いが V では定義される．

• Lκ (µ) の論理式の個数は µ<κ 個である．

適当な集合 A ⊆ µ に対して，自然に Lκ (µ)-構造が定まる：

Def. 4. ϕ を Lκ (µ)-論理式，A ⊆ µ とする．充足関係 A |= ϕ を次で定める：
def• A |= “ξˇ ∈ ȧ” ⇐==⇒ ξ ∈ A,
def• A |= ¬ϕ ⇐==⇒ A 2 ϕ,WWdef• A |=Γ ⇐==⇒ ∃ϕ ∈ Γ A |= ϕ.
また，公理系 Γ ⊆ Lκ (µ) に対し，A |= Γ は ∀ϕ ∈ Γ A |= ϕ のこととする．

以上で無限論理の意味論は与えたので，今度は証明体系も与えたい．無限長のオブジェクトを扱っているので，何処で考えるかによって証明体系は変わってきそうである．つまり，W を含む（推移的）モデルの間で，“Γ ` ϕ” の意味がかわらないようにしたい．だって，W の中で「ϕ は Γ の定理だよ！」と言うのに，より広
い V の中で「定理じゃないよ！」ということになっていては困る．これには，実際に無限長の論理式と証明木を使って定義する方法もある（Friedman–Fuchino–Sakai [2] を参照）が，今回は強制法と記述集合論の結果を使ってやることにする．
その中心的な役割を担うのが，次の崩壊強制法である：

defDef. 5. 順序数 α ≥ ω を可算に潰す崩壊強制 Col(ω, α) とは <ω α を台集合とし，p ≤ q ⇐==⇒ p ⊇ q に
より順序を定めたものである．

注意 2.

•「有限列」の概念はどの推移的モデルで考えても変わらないので，任意の順序数 α に対しCol(ω, α) は常に一致する．
• G を Col(ω, α)-生成的とするとき，f :=S

G とおけば，Dξ = { p | ξ ∈ ran(p) } (ξ < α) の稠密

性より f は ω から α への全射となり，V [G] |= |α| = ℵ0 となる．

なぜ可算に潰すような強制法を考えるのかといえば，崩壊強制法により W における L-論理式の全体を可算

5にしてしまえば，各論理式 ϕ ∈ LW
κ (µ) はある Borel 集合と同一視出来るからである．
なぜか？ まず ν = (µ<κ )W が可算になっているので，まず µ は可算集合であり，各元 ξ < µ は自然数

n < ω と一対一に対応させられる．このとき，原子論理式 n ∈ ȧ は，「ȧ の二進展開の n 桁目が 1 になる」という命題だと思え，これは ω 2 の基本開集合に当たる．否定や無限選言を取る所も，集合演算としては補集合と可算和を取るところに対応している．それで閉じているのが Lκ (µ) だから，結局 A |= ϕ は A が「コード」
している実数が ϕ の定める Borel 集合に含まれているか？ という述語に他ならないのである．
では，Borel 集合としてコード出来ると何が嬉しいのか？ 実は，実数の集合論において次の絶対性が成り立つことが知られている：

定理 3 (Mostowski Absoluteness). Π11 -論理式は任意の推移的モデルの間で絶対的．即ち，M ⊆ V
が推移的モデルだとして， ϕ が M にパラメータを持つ論理式で， Borel 集合を定義するとする：

M |= “{ (x, z) | ϕ(x, z) } : Borel”. この時，x ∈ M に対し：
M |= ∀z ϕ(x, z) ⇐⇒ V |= ∀z ϕ(x, z).

証明はたとえば拙稿「絶対性チートシート」[6] を参照．
これを踏まえて，W における L の公理系の「証明」体系を次のように定めよう：

Def. 6. Γ ⊆ Lκ (µ)，ϕ ∈ Lκ (µ) とする．この時，証明可能性述語 Γ ` ϕ を次で定める：defΓ `Lκ (µ) ϕ ⇐=
=⇒
⊥ :≡

W
W

Col(ω,µ<κ ) “∀A |= Γ A |= ϕ”.

∅ を矛盾と呼ぶ．Γ 0 ⊥ の時 Γ は無矛盾であるという．

注意 3. A |= Γ なる A ⊆ µ が存在すれば Γ は無矛盾a ．

すると，上の Mostowski 絶対性を認めれば，Γ ` ϕ の「絶対性」が言える：

補題 3. W ⊆ V を推移的モデルとする．Γ, ϕ ∈ W をそれぞれ W における Lκ (µ)-理論と Lκ (µ)-論理式
とすると，
V
Γ `W
Lκ (µ) ϕ ⇐⇒ Γ `Lκ (µ) ϕ.

a 実際には，崩壊強制法の均質性という性質から，Γ の無矛盾性と V Col(ω,µ<κ ) において Γ のモデルが存在することが同値になる．

6

Proof. 以下，ν W := (µ<κ )W ，ν V := (µ<κ )V と表す．
「A |= ϕ」は Borel なのでどんな推移的モデルで見ても変わらない．よって，上の定義から Γ ` ϕ は Π11 で書ける性質である．W Col(ω,νW Col(ω,ν

W

W

)

)

⊆ V Col(ω,ν ) に気を付ければ，Mostowski 絶対性より，
V|= “∀A |= Γ A |= ϕ” ⇐⇒ V Col(ω,ν ) |= “∀A |= Γ A |= ϕ”
V

系 3.「公理系 Γ が無矛盾」は推移的モデルの間で絶対．

さて，いよいよ L を使って κ-c.c. 強制法を定義する．

Def. 7. g : [L]κ → [L]<κ が g(Γ) ⊆ Γ を満たすとする．
def• ϕ が g-違法 (g-illegal) ⇐==⇒ ∃Γ ∈ [L]κ ∩ W ϕ ∈ Γ \ g(Γ).
• 理論 T g ⊆ L は g-違法な論理式 ϕ と ϕ ∈ Γ \ g(Γ) なる Γ に対し，次の形の論理式からなる：
 _
o
_
_
_n
_
_
ϕ→
g(Γ) ≡¬ϕ,g(Γ).
• 強制概念 (Pg , ≤) を次で定める：
Pg :=



ϕ ∈ L Tg ∪ { ϕ } : 無矛盾defϕ ≤ ψ ⇐==⇒ Tg ∪ { ϕ } ` ψ.

まず，こうして定めた Pg が目的通り κ-c.c. を満たすことを見よう．

補題 4. Pg は κ-c.c. を持つ．

W
W
κ
Proof. Γ ⊆ [Pg ] を任意に取る．ϕ ∈ Γ \ g(Γ) を一つとれば，Tg の定義から ϕ →g(Γ) ∈ Tg なので，順W
W
W
W
序の定義より ϕ ≤g(Γ) となる．このとき， ∅ は Tg と「矛盾」するので， g(Γ) 6= ∅ である．そこでψ ∈ g(Γ) を取れば，ψ 6= ϕ であり ϕ, ψ は明らかに両立する．よって Γ は反鎖ではない．



g の選び方によってはどうあっても矛盾するので Pg = ∅ になるかもしれないし，自明な元しか持たないかもしれない．しかし，Tg はある集合を Pg の形でコード出来るかを知るための十分条件を与えてくれる：7

補題 5. W ⊆ V を ZFC を満たす内部モデル，W |= g : [L]κ → [L]<κ とし，P := PW
g とおく．ここで，A ∈ P(µ) ∩ V が A |= (Tg )W を満たすなら，
GA := { ϕ ∈ Pg | A |= ϕ }は (W, P)-生成フィルターであり， A =ξ < µ “ξˇ ∈ ȧ” ∈ GA

∈ W [GA ] は W と A を含む最小のξ < µ “ξˇ ∈ ȧ” ∈ GAとなることは良い．また，A と GA はZFC の推移的モデルとなっている．

Proof. GA がフィルターとなること，A =互いの情報を過不足なく持っているので，W [GA ] が生成拡大であることさえ言えれば，強制定理から最小性も従う．
そこで GA の W 上の生成性を示そう．A ∈ W を P の極大反鎖とすると，P が W で κ-c.c. を持つことから|A|W < κ となるので，

WW

A は L の論理式である．ここで GA とW
Wは同値である事に注意する．よって，もし G ∩ A = ∅ なら A |= ¬の定義より GA ∩ A 6= ∅ と A |=

W
W

W
W

A

A となる．すると注意 3 より V でA } は無矛盾となり，無矛盾性の絶対性（系 3）より W でも無矛盾である．よって GA と Pg のW
W
W
W
定義から “¬A” ∈ GA を得る．すると A ∩ GA = ∅ より A0 := A ∪ { ¬ A } は A を真に含む反鎖とな
Tg ∪ { ¬W
Wるが，これは A の極大性に反する．



よって，あとはどんな A に対しても A |= (T g )W となるような g ∈ W が取れることが言えればよい．しかし，これは κ-大域被覆性質から直ちに従う：

補題 6. (W, V ) が κ-大域被覆性質を満たすなら，任意の A ⊆ µ に対し A |= Tg となる g ∈ W が取れる．

Proof. V において f : [L]κ ∩ W → L を次で定める：(
ϕf (Γ) :=
arbitrary(if ϕ ∈ Γ, A |= ϕ)(otherwise).

この時， L-論理式を適切に添え字づけておけば， κ-被覆性質から g ∈ W ， g : [L]κ ∩ W → [L]<κ ∩ W で

f (Γ) ∈ g(Γ) を満たすものが取れる．すると取り方から明らかに A |= Tg となるので，補題 5 より GA は A
をコードする (V, Pg )-生成集合となる．



以上から直ちに目標の次の系が得られる：系 4 (κ-大域被覆性に対する κ-c.c. 強制法の完全性). (W, V ) が κ-大域被覆性質を満たすなら，任意のx ∈ V は W のある κ-c.c. 強制法 Px ∈ W により付加される．特に，x ∈ V は (W, Px )-生成的となる．

8

1.4

Bukovský の定理の証明

これまでの道具立てを使えば，Bukovsky の定理は上で述べた方針をなぞるだけで示せる：

Proof of Bukovský’s Theorem. (W, V ) が κ-大域被覆性質を持つとする．記号が重いので，µ := (2<κ )V とおく．
この時，上の系 4 より W における κ-c.c. 強制法 P が存在し，A := P V (µ) は (W, P)-生成的になっている．W [A] の推移性より A ⊆ W [A] だから，結局 P W [A] (µ) = A となる．また，(W [G], V ) も κ-大域被覆性を持つことに注意する．実際，f : α → On を V の写像とすれば，(W, V ) の κ-大域被覆性より F ∈ W で

F : α → [On]<κ かつ f (ξ) ∈ F (ξ) を満たすものが取れ，F ∈ W ⊆ W [A] となる．
そこで，任意に x ∈ V を任意に取れば，再び系 4 より W [A][x] は W [A] の κ-c.c. 強制拡大になっている．
しかし，W [A] ⊆ W [A][x] ⊆ V より：

A = P W [A] (µ) ⊆ P W [A][x] (µ) ⊆ P V (µ) = A.
よって P W [A] (µ) = P W [A][x] (µ) を得る．すると，系 2 より W [A] ⊆ W [A][x] は自明な拡大なので x ∈W [A][x] = W [A] となる．いま x ∈ V は任意だったから W [A] = V となる．よって V は W の κ-c.c. 拡大で
ある．

2



ZFC の部分体系への一般化と一意性定理
これまでの証明を注意深く分析すれば，ZFC よりも弱い体系について Bukovský の定理が成り立つことがわかる．
特に，第一回に定義した以下の体系 ZFC∗δ に置換公理を加えたモデルについても Bukovský の定理は成り立つ：∗
Def. 8 (ZFC≤κδ ). ZFCδ の言語は述語記号 ∈ に加え定数記号 δ, λ を持ち，公理は以下で与えられる．

(1) ZC − Power：内包，対，和集合，無限，基礎，整列定理，(2)「δ は正則基数」，(3) ≤δ-置換公理：任意の f : δ → V と集合 A に対し像 f [A] が存在．
(4) ≤κ-冪集合公理：任意の集合 A に対し濃度 δ 以下の部分集合全体からなる集合 [A]≤κ が存在．
(5) P(<κ 2) が存在する．
(6) 順序数コード公理：任意の集合 A は順序数 α とその上の二項関係 E により htrcl({ A }), ∈i 'hα, Ei の形でコード出来る．
また，ZFC≤κ :≡ “ZFC≤κκ + 無制限の置換公理”，ZFCδ :≡ “ZFCδ + 冪集合公理” と略記する．
≤δ9

系 5. W ⊆ V を共に ZFC≤δ の推移的モデルとする．この時，(W, V ) が δ-大域被覆性性質を持つこととV が W の δ-c.c. 拡大であることは同値．

Proof. 強制法が ZFC<κ
の公理を保存する事と，A = P V (<δ 2) に Mostowski 絶対性を適用するのにフルのδ
冪集合は必要ない事などに気を付ければ，これまでの証明が通ることがわかる．



これから直ちに次が従う．

補題 7 (δ-大域被覆性質を持つモデルの一意性). µ := (2<δ )+ とおく．W, W 0 ⊆ V が十分に大きな κ について ZFC≤µ の推移的モデルで (W, V ) および (W 0 , V ) が共に δ-大域被覆性質を持つとする．もし<µ2 ∩ W = <µ 2 ∩ W 0 なら W = W 0 となる．

Proof. δ-大域被覆性質から V は W および W 0 の δ-c.c. 拡大になっている事がわかる．すると補題 2 の証明から (W, V ) および (W 0 , V ) は µ-近似性質を持つ．また，明らかに大域被覆性質は上に遺伝するので，これらは µ-大域被覆性質を持ち， µ の正則性より特に µ-被覆性質も持つ．また， µ-大域被覆性質よりµ+W = µ+W = µ+V も成り立つ．したがって前回示した ZFC≤µ のモデルの一意性から W = W 0 となる．
0

次回予告
次回は，いよいよ目標であった sDDG の証明を与えます．

参考文献
[1]
[2]
[3]
[4]
[5]
[6]

Lev Bukovský, Characterization of generic extensions of models of set theory, Fundamenta Mathematicae 83 (1973),
pp. 35–46.
Sy David Friedman, Sakaé Fuchino, and Hiroshi Sakai, On the set-generic multiverse, version 0, July 6, 2016, arXiv:
1607.01625 [math.LO].
Gunter Fuchs, Joel David Hamkins, and Jonas Reitz, Set-theoretic geology, version 0, Nov. 18, 2014, arXiv: 1107.4776[math.LO].
Ralf Schindler, The long extender algebra, Archive for Mathematical Logic (Sept. 2017), issn: 1432-0665, doi: 10.1007/
s00153-017-0585-0, url: https://doi.org/10.1007/s00153-017-0585-0.
Toshimichi Usuba, The downward directed grounds hypothesis and very large cardinals, version 0, July 17, 2017, arXiv:
1707.05132 [math.LO].
石井大海, 絶対性チートシート, 2016, url: http://konn-san.com/math/absoluteness-cheatsheet.html.

10