可算推移モデルとジェネリックフィルターとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 可算推移モデルとジェネリックフィルターの意味・解説 

可算推移モデルとジェネリックフィルター

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/15 06:35 UTC 版)

強制法」の記事における「可算推移モデルとジェネリックフィルター」の解説

強制法の鍵となるステップZFC宇宙 V に対して、V の要素でない適切な G を見つけることである。結果としては G によるP-名前の解釈全てによるクラスが元々の V の拡大になるZFCモデルになるようにする。 V で作業する代わりに可算推移モデル M と (P,≤,1) ∈ Mを考える。ここで言うモデルというのはZFCの十分多く有限個の公理満たすものを言う推移性というのは x ∈ y ∈ M ならば x ∈ Mとなることである。 モストフスキ崩壊補題によると所属関係は整礎的であると仮定してよい。推移性所属関係や初等的な概念直観的に扱いやすくする。可算性レーヴェンハイム-スコーレムの定理から得ているものである。 M は集合なので M に属さない集合存在する。それはラッセルのパラドックスから分かる強制に際して取り M に付け加え適切な G はPのジェネリックフィルターである。フィルター条件とは G⊆P であって、 1 ∈ G ; p ≥ q ∈ G ならば p ∈ G ; p,q ∈ G ならば ∃r ∈ G, r ≤ p かつ r ≤ q ; を満たすこと、G が ジェネリック であるとは D ∈ M が Pの稠密部分集合 (すなわち p ∈ P ならば ∃q ∈ D, q ≤ p である)ならば G∩D ≠ 0 となることである。 ジェネリックフィルター G の存在性ラショーヴァ=シコルスキの補題から分かる。さらに、以下のことが分かる: 条件p ∈ Pが与えられたとする、このとき p ∈ G であるジェネリックフィルター G を見つけられるsplitting conditionと G がフィルターであることから P\G は稠密である。もし G が M の要素なら P\G も M の元となるから G は Mの元にならない

※この「可算推移モデルとジェネリックフィルター」の解説は、「強制法」の解説の一部です。
「可算推移モデルとジェネリックフィルター」を含む「強制法」の記事については、「強制法」の概要を参照ください。

ウィキペディア小見出し辞書の「可算推移モデルとジェネリックフィルター」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「可算推移モデルとジェネリックフィルター」の関連用語

1
16% |||||

可算推移モデルとジェネリックフィルターのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



可算推移モデルとジェネリックフィルターのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの強制法 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS