Ikegami Daisuke @DaiskeIkegami
数学 (特に集合論) やってます。
-
強制法による AD(の truth)の保存について
2200pv 4 -
選択公理を仮定しない状況での強制法の理論と強制法絶対性について
2153pv 8 -
MM祭り
5805pv 26
-
D進について
23757pv 19 3 users -
集合論の無矛盾性と巨大基数
18774pv 41 4 users 2 -
Q-theory と最近の自分の研究について
1752pv 5 -
集合論における「計算論」と最近の自分の研究について
3286pv 15 1 user 1 -
集合論のモデルの構成法と sheaf について。
5109pv 21 3 users -
二階算術と集合論での決定性
3306pv 14 -
Inner model theory seminar.
3020pv 18 1 user 1 -
Boolean valued second order logic
2162pv 27 1 user