2017年11月 Aspero-Mota’s finitely proper forcing axiom and k-entangled sets of reals RIMS Set Theory workshop "Iterated Forcing Theory and Cardinal Invariants" 依岡 輝幸