ジェネリックフィルター
数学の集合論における、ジェネリックフィルター とは、強制法の理論で使われる対象の一種で、 そのテクニックはいろんな目的に使われるが、特に、何かしらの命題の ZFCのような形式的な理論からの独立性を示すのに使われる。
例えば、ポール・コーエンはZFCが無矛盾であれば
連続体仮説(実数全体の集合の濃度が 
- ジェネリックフィルターのページへのリンク
「ジェネリックフィルター」の関連用語
| ジェネリックフィルターのお隣キーワード |
検索ランキング
ジェネリックフィルターのページの著作権
Weblio 辞書
情報提供元は
参加元一覧
にて確認できます。
|
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのジェネリックフィルター (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典
|
ご利用にあたって
|
便利な機能
|
お問合せ・ご要望
|
会社概要
|
ウェブリオのサービス
|
©2025 GRAS Group, Inc.RSS
