出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 06:35 UTC 版)「強制法」の記事における「直観的意味合い」の解説強制法はより概念的には自然で直観的である...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/08 15:26 UTC 版)「ツェルメロ＝フレンケル集合論」の記事における「独立性」の解説重要な命題の多くはZFCと...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 06:35 UTC 版)「強制法」の記事における「強制半順序」の解説強制半順序は3つ組順序対 (P, ≤, 1)...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 06:35 UTC 版)「強制法」の記事における「可算推移モデルとジェネリックフィルター」の解説強制法の鍵となる...

半順序集合Pが可算鎖条件(countable chain condition、c.c.c.と略す)を満たすとは、Pのいかなる反鎖も高々可算であることをいう。位相空間Xが可算鎖条件を満たすとは、Xの開集...

半順序集合Pが可算鎖条件(countable chain condition、c.c.c.と略す)を満たすとは、Pのいかなる反鎖も高々可算であることをいう。位相空間Xが可算鎖条件を満たすとは、Xの開集...

「コーエン環」あるいは「ランキン・コーエン代数」とは異なります。コーエン代数と呼ばれることがある、ボレル集合の代数のmeager setsによる商については「カントール代数」をご覧ください。数学の集合...

「コーエン環」あるいは「ランキン・コーエン代数」とは異なります。コーエン代数と呼ばれることがある、ボレル集合の代数のmeager setsによる商については「カントール代数」をご覧ください。数学の集合...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/14 08:18 UTC 版)「連続体仮説」の記事における「pcf 理論」の解説正則基数の冪集合の濃度が強制法で非常に...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/15 06:35 UTC 版)「強制法」の記事における「コーエン強制」の解説非自明で最も単純な強制半順序は ( Fin...