集合論
Contributors 14
Tracers 7
トレースする

全 33 記事

解説
大学数学以上
by
Alwe
at
2020年11月07日
強制法によるCantorの定理の証明
集合論，強制法，Cantorの定理
579
18
解説
大学数学以上
by
サクラ
at
2020年11月07日
Grothendieck宇宙のーと
集合論，Grothendieck宇宙
751
12
解説
大学数学以上
by
Alwe
at
2021年01月13日
ZFCのモデルの存在について
集合論，推移的モデル，絶対性
614
11
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年01月13日
外延性公理は等号の定義じゃないよ！
集合論
684
8
解説
大学数学以上
by
Alwe
at
2020年12月25日
Christmas Suslin Tree
集合論，無限組合せ論，Suslin木
172
7
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2021年02月21日
なんで証明中の選択公理が目立つのかって話
集合論，選択公理
309
7
文献あり
解説
大学数学以上
by
Caramel
at
2022年05月05日
赤雪江第1章のまとめノート作ってみた
集合論
835
7
文献あり
議論
大学数学以上
by
めいぜんおーえす
at
2020年12月19日
ZFCの公理一覧と誤解しやすいポイント
集合論，ZFC
2219
7
文献あり
解説
大学数学以上
by
サクラ
at
2020年12月01日
Hilbertの逆理のーと
集合論，Hilbertの逆理
258
6
解説
大学数学以上
by
ぱるま
at
2021年03月28日
「写像は二項関係の特殊なもの」という考え方によるwell-definedの解釈
代数学，集合論
847
6
文献あり
解説
大学数学以上
by
でぃぐ
at
2020年12月13日
強いフビニの定理の独立性
集合論，測度論，ルベーグ積分
609
6
解説
大学数学以上
by
でぃぐ
at
10日前
無限Hedetniemiの予想の反例
集合論，グラフ理論，無限組合せ論
66
4
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年10月10日
単射のよくある間違い
集合論，単射，選択公理
206
4
文献あり
解説
大学数学以上
by
でぃぐ
at
2020年12月09日
反復Mathias強制により基数hが大きくなること
集合論，強制法，基数不変量
56
4
解説
大学数学以上
by
でぃぐ
at
30日前
超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明
集合論，ウルトラフィルター，Rudin-Keisler順序
78
4
文献あり
解説
大学数学以上
by
でぃぐ
at
11日前
ランダム強制法はKnasterの性質を満たす (The random forcing satisfies the Knaster property)
集合論，強制法
75
4
文献あり
解説
高校数学
by
電気魚
at
2021年12月01日
プログラミングで数学の素養がちょっぴり役に立った話
集合論，プログラミング
223
3
解説
大学数学以上
by
でぃぐ
at
2020年12月20日
Mathias強制法入門
集合論，強制法，基数不変量
151
3
解説
大学数学以上
by
Mathbell
at
2021年12月21日
自然数の構成～集合論からの出発
集合論，ペアノの公理，自然数
1365
3
文献あり
質問
大学数学以上
by
ぜっとばー
at
2021年02月21日
【解決済み】内部、閉包、境界についての質問
複素数，集合論
190
3