Mathlog
強制法
ホーム
記事
本
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年5月16日
ランダム強制法はomega^{omega_1} boundingになりえる
集合論,強制法
3
0
189
0
文献あり
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2023年3月11日
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the Knaster property)
集合論,強制法
3
0
233
0
文献あり
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2020年12月20日
Mathias強制法入門
集合論,強制法,基数不変量
4
0
379
0
でぃぐ
でぃぐ
大学数学基礎解説
でぃぐ
2020年12月9日
反復Mathias強制により基数hが大きくなること
集合論,強制法,基数不変量
4
0
99
0
Alwe
Alwe
大学数学基礎解説
Alwe
2020年11月7日
強制法によるCantorの定理の証明
集合論,強制法,Cantorの定理
23
0
1926
2
読み込み中...
読み込み中