Prefer a chat interface with context about you and your work?
The proper forcing axiom and stationary set reflection
Our main result is that the proper forcing axiom (PFA) is equiconsistent with "PFA + there is a nonreflecting stationary subset of a>2."More generally we show for any cardinals n < m < N2 that if PFA + (n) is consistent with ZFC then so is "PFA + («) + …