The *-variation of the Banach-Mazur game and forcing axioms
This paper introduces a new poset property defined via a variation of the Banach-Mazur game that strengthens -strategic closedness, proves that the Proper Forcing Axiom (PFA) is preserved under forcing with such posets, and applies this result to reproduce Magidor's theorem on the consistency of PFA with weak square principles while distinguishing the property from -operational closedness.