The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃

From MaRDI portal
Publication:3625559