It is easy to see a forcing of size $\aleph_1$ is proper if and only if is semiproper. I was wondering when such an equivalency holds between semi-proper and stationary-preserving forcings in $\rm ZFC$? Or consistently in a model where significant fragments of $\rm MM$ failsfail.
Master
- 1.1k
- 1
- 9
- 27