jdh.hamkins.org
The proper and semi-proper forcing axioms for forcing notions that preserve $\aleph_2$ or $\aleph_3$
[bibtex key=HamkinsJohnstone2009:PFA(aleph_2-preserving)]