-
Lebesgue可測な集合の階層を巡る探求
8652pv 30 4 users 3 -
スタート集合論
2596pv 9 2 users -
強制法による AD(の truth)の保存について
2212pv 4
-
選択公理を仮定しない状況での強制法の理論と強制法絶対性について
2184pv 8 -
第一回スタート集合論@ITPL #強制法 #集合論
2014pv 7 1 user 2