晴れのちところにより一時ゼルプスト殿下 @tenapi
数理論理学と集合論を専攻する数学者のハシクレ。
-
H次数についての対話 2013-08-05
1228pv 3 -
Turing次数理論のMartin予想をめぐる対話
3089pv 6 -
計算論家トリイロさんと集合論家DIkeさんの対話
2866pv 9 2 users
-
集合論家DIkeさんと証明論家GLogさんの対話
3654pv 14 1 user -
lim記号と「定義による拡大」
6473pv 20 1 user