クレパ木

提供: testwiki
2018年12月29日 (土) 06:03時点におけるimported>新規作成による版 (参考)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
ナビゲーションに移動 検索に移動

集合論において、クレパ木とは高さ ω1(T, <)であって、全ての水準 (Level) の濃度が高々可算で、かつ少なくとも 2 本以上の枝をもつ木のこと。ユーゴスラビア人数学者ジューロ・クレパの名に因む。 クレパ木の存在性(クレパの仮説(KH))は、ZFCと矛盾しないことが知られている。 ソロヴェイは未発表の論文の中で、ゲーデルの構成的宇宙 L (構成可能集合全体からなるクラス)にクレパ木が存在することを示した(より正確には、ダイヤモンド原理からクレパ木の存在が従うことを示した)。 一方、シルバーが1971年に示したように、強到達不能基数ω2レヴィ崩壊しているとき、そのモデルではクレパ木が存在しない。実際には到達不能基数の存在とクレパの仮説の否定はテンプレート:仮リンクであることが知られている。

関連項目

参考

テンプレート:Settheory-stub テンプレート:集合論