The proper and semi-proper forcing axioms for forcing notions that preserve $\aleph_2$ or $\aleph_3$ Posted on September 25, 2011 by Joel David Hamkins
