蟆 @patho_logic
数学(集合論みたいなものの周辺)の研究してるはず.オペラいきたい.へっぽこランナー.駅伝部(私設)所属。自転車部は一時休部中.
-
二階算術と集合論での決定性
3340pv 14 -
Inner model theory seminar.
3057pv 18 1 user 1
数学(集合論みたいなものの周辺)の研究してるはず.オペラいきたい.へっぽこランナー.駅伝部(私設)所属。自転車部は一時休部中.