New consequences of PFA($T^{\ast }$)

Let $T^{\ast }$ be an almost Suslin tree, that is, an Aronszajn tree with no stationary antichains. Krueger introduced a forcing axiom, $\mathrm{P}\mathrm{F}\mathrm{A}(T^{\ast })$, for the class of proper forcings that preserve that $T^{\ast }$ is almost Suslin. He showed that $\mathrm{P}\mathrm{F}\mathrm{A}(T^{\ast })$ implies several well-known consequences of the Proper Forcing Axiom ($\mathrm{P}\mathrm{F}\mathrm{A}$), including Suslin’s Hypothesis and the P-ideal dichotomy. We extend this list by proving that $\mathrm{P}\mathrm{F}\mathrm{A}(T^{\ast })$ also implies the Mapping Reflection Principle ($\mathrm{M}\mathrm{R}\mathrm{P}$) and the Open Graph Axiom ($\mathrm{O}\mathrm{G}\mathrm{A}$). Additionally, we show that $\mathrm{P}\mathrm{F}\mathrm{A}(T^{\ast })$ implies that all special Aronszajn trees are club-isomorphic, but it does not imply that all almost Suslin trees are club-isomorphic.