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