Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
集合論
Contributors
14
Tracers
7
トレースする
Contributors
14
Tracers
7
最近の人気記事
強制法によるCantorの定理の証明
Grothendieck宇宙のーと
ZFCのモデルの存在について
全 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
1
2
次 ›
最後 »
詳細へ
購入へ