Ikegami Daisuke @DaiskeIkegami
数学 (特に集合論) やってます。
-
Q-theory と最近の自分の研究について
1755pv 5 -
集合論における「計算論」と最近の自分の研究について
3287pv 15 1 user 1 -
集合論のモデルの構成法と sheaf について。
5110pv 21 3 users
-
二階算術と集合論での決定性
3315pv 14 -
Inner model theory seminar.
3033pv 18 1 user 1