Ikegami Daisuke @DaiskeIkegami
数学 (特に集合論) やってます。
-
強制法による AD(の truth)の保存について
2208pv 4 -
選択公理を仮定しない状況での強制法の理論と強制法絶対性について
2167pv 8 -
Q-theory と最近の自分の研究について
1755pv 5
-
集合論のモデルの構成法と sheaf について。
5110pv 21 3 users -
二階算術と集合論での決定性
3315pv 14 -
Inner model theory seminar.
3033pv 18 1 user 1