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