# Consistency of Strong reflection principle with the existence of a Suslin tree

In Woodin's book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal" Remark 2.55 (5), it states SRP by Todorcevic (defined below) is consistent with the existence of a Suslin tree (hence it does not imply MM). Is there any reference about this? My guess is we could probably get a restricted version of MM for a Suslin tree, like the one for PFA. More precisely, $PFA(S)$ is the forcing axioms for the class of forcings that preserve $S$. Then maybe we can derive SRP from $MM(S)$.

Definition (projectively stationary sets): Let $\lambda\geq \omega_1$, then $S\subset [H(\lambda)]^\omega$ is projectively stationary if for any stationary $T\subset \omega_1$, $\{X\in S: X\cap \omega_1\in T\}$ is stationary in $[\lambda]^\omega$.

Definition (SRP): SRP asserts for any projectively stationary $S\subset [H(\lambda)]^\omega$ for regular $\lambda\geq \omega_2$, there exists a continuous increasing $\in$-chain $\langle N_\alpha: \alpha<\omega_1\rangle$ such that $N_\alpha\in S$ for all $\alpha<\omega_1$.