エヴィン・ラティエ @evinlatie
(´ぅω・`)ネムイ
-
集合論における「計算論」と最近の自分の研究について
3291pv 15 1 user 1 -
集合論のモデルの構成法と sheaf について。
5116pv 21 3 users -
二階算術と集合論での決定性
3341pv 14
-
Inner model theory seminar.
3059pv 18 1 user 1