-
H次数についての対話 2013-08-05
1232pv 3 -
Turing次数理論のMartin予想をめぐる対話
3100pv 6 -
計算論家トリイロさんと集合論家DIkeさんの対話
2873pv 9 2 users
-
集合論家DIkeさんと証明論家GLogさんの対話
3666pv 14 1 user -
集合論のモデルの構成法と sheaf について。
5111pv 21 3 users -
二階算術と集合論での決定性
3323pv 14 -
Inner model theory seminar.
3040pv 18 1 user 1 -
『Henle集合論』勉強会・第5章
2794pv 2 -
∀x¬(F(x)∈x) となるようなFを構成しなさい
2460pv 15 -
『Henle集合論』勉強会・第4章
1494pv 3 -
「数学の学習は論理的思考を鍛えるのに役立つ」の意味と根拠を問う
36787pv 90 11 users 3 -
『Henle集合論』勉強会・第3章
1977pv 2 -
『Henle集合論』勉強会・第2章
2877pv 3 -
『Henle集合論』勉強会・第1章
2899pv 9 -
超準解析と正則性公理
5392pv 5 1 user 1 -
0は自然数であることの感動させるような根拠
5162pv 25 2 users -
スタート集合論
2595pv 9 2 users -
可算濃度より小さい無限基数が存在しない件
2203pv 6 1 user 1 -
可算全順序集合が有理数体の通常の順序の部分順序になること
3150pv 2 1 user -
予言と預言/与言、あるいは集合論 #prophecy
4552pv 12 3 users -
数学:集合論と選択公理
10526pv 1 11 users -
難波先生の『集合論』に載ってる図が面白い件
7006pv 2 1 user 1 -
集合論のモデルの存在について~数学クラスタの日常~
7302pv 9 8 users