Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
集合論
Contributors
15
Tracers
7
トレースする
Contributors
15
Tracers
7
最近の人気記事
強制法によるCantorの定理の証明
Grothendieck宇宙のーと
ZFCのモデルの存在について
全 34 記事
高評価数順
新着順
解説
大学数学以上
by
duyaa
at
2022年06月01日
Recreational Choicelessness
集合論
,
選択公理
21
3
文献あり
解説
大学数学以上
by
でぃぐ
at
2020年12月20日
Mathias強制法入門
集合論
,
強制法
,
基数不変量
151
3
解説
大学数学以上
by
AlinaLagrange
at
2021年04月12日
Chapter 2 Set Theory
集合論
81
3
解説
大学数学以上
by
でぃぐ
at
2022年12月31日
Keisler-Shelahの定理の応用――あるいは、牛刀割鶏
集合論
,
モデル理論
,
超冪
145
2
文献あり
議論
大学数学以上
by
duyaa
at
2021年01月30日
Domatic partitions with the property of Baire
集合論
,
グラフ理論
,
記述集合論
39
2
文献あり
議論
大学数学以上
by
merliborn
at
2021年04月04日
メモ:Shulmanの『圏論のための集合論』と推移的モデル
圏論
,
集合論
,
モデル理論
101
2
文献あり
議論
大学数学以上
by
duyaa
at
2021年10月15日
Above Borel, Below Lebesgue
集合論
,
測度論
,
記述集合論
24
1
文献あり
解説
大学数学以上
by
duyaa
at
2022年12月22日
Independent Sets and the Continuum Hypothesis
集合論
,
記述集合論
94
1
文献あり
解説
大学数学以上
by
たじゅまる
at
2020年12月20日
Bernsteinの定理の証明:単射単射があれば全単射
集合論
38
1
解説
大学数学以上
by
duyaa
at
2021年07月18日
Fodor's train in the continuum
集合論
,
順序
36
1
文献あり
解説
大学数学以上
by
みるか
at
2020年11月21日
閉包と導集合
集合論
574
1
議論
大学数学以上
by
ballgag
at
4時間前
直積位相の基底
集合論
,
位相空間論
17
0
文献あり
質問
大学数学以上
by
ぜっとばー
at
2021年03月30日
2関数の連結性についての質問
集合論
,
関数
,
連結
13
0
文献あり
解説
大学数学以上
by
めいぜんおーえす
at
2021年01月03日
naive comprehension axiom が矛盾することをCoqで実装してみた
集合論
,
Coq
47
0
文献あり
« 最初
‹ 前
1
2
詳細へ
購入へ