ジェネリックフィルター
(generic filter から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/07/02 14:49 UTC 版)
数学の集合論における、ジェネリックフィルター とは、強制法の理論で使われる対象の一種で、 そのテクニックはいろんな目的に使われるが、特に、何かしらの命題の ZFCのような形式的な理論からの独立性を示すのに使われる。
例えば、ポール・コーエンはZFCが無矛盾であれば 連続体仮説(実数全体の集合の濃度が この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています(プロジェクト:数学/Portal:数学)。
- ジェネリックフィルターのページへのリンク