Send the following on WhatsApp
Continue to ChatThe proper and semi-proper forcing axioms for forcing notions that preserve $\aleph_2$ or $\aleph_3$ https://jdh.hamkins.org/pfa-aleph_2-preserving/
The proper and semi-proper forcing axioms for forcing notions that preserve $\aleph_2$ or $\aleph_3$ https://jdh.hamkins.org/pfa-aleph_2-preserving/