エヴィン・ラティエ @evinlatie
(´ぅω・`)ネムイ
-
Springerから本が色々無料DLできるようになったらしい
109167pv 766 279 users 459 -
Lebesgue可測な集合の階層を巡る探求
8651pv 30 4 users 3 -
Thompson群と文脈自由言語
2270pv 20 2 users
-
MM祭り
5827pv 26 -
cabal seminarの話に至る経緯
2050pv 11 -
第一回スタート集合論@ITPL #強制法 #集合論
2014pv 7 1 user 2 -
Spring Topology行ってきたよ報告
2272pv 13 1 user -
有限文字列の有限列の有限列 3
8371pv 13 -
有限文字列の有限列の有限列 2
5994pv 16 1 user -
有限文字列の有限列の有限列。
7801pv 13 2 users -
計算論家トリイロさんと集合論家DIkeさんの対話
2874pv 9 2 users -
集合論における「計算論」と最近の自分の研究について
3289pv 15 1 user 1 -
集合論家DIkeさんと証明論家GLogさんの対話
3668pv 14 1 user -
mr_konn氏による決定性公理オフ実況
8362pv 18 1 user -
第3回関西すうがく徒のつどい2日目 #kansaimath
10227pv 22 -
第3回関西すうがく徒のつどい1日目 #kansaimath
15192pv 32 1 user 1 -
集合論のモデルの構成法と sheaf について。
5113pv 21 3 users -
二階算術と集合論での決定性
3328pv 14 -
Inner model theory seminar.
3043pv 18 1 user 1 -
Boolean valued second order logic
2167pv 27 1 user -
第四回ひらいずみセミナー
8429pv 12 1 user -
2013年01月02日深夜の数学クラスタ
2825pv 15 1 user -
第三回ひらいずみセミナー(2日目)
5776pv 9 -
第三回ひらいずみセミナー(1日目)
5657pv 10 -
2012年選択公理の日
11046pv 37 2 users