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$.
> 
> 
> 



Consistency of Strong reflection principle with the existence of a Suslin tree
This appears to be proven in the following paper of Miyamoto:


*Miyamoto, Tadatoshi*, [**On iterating semiproper preorders**](http://dx.doi.org/10.2178/jsl/1190150293), J. Symb. Log. 67, No. 4, 1431-1468 (2002). [ZBL1050.03034](https://zbmath.org/?q=an:1050.03034).


In section 5 of the paper, he introduces a forcing axiom, SPFA(Souslin), which is the forcing axiom for semi-proper posets which preserve *every* Souslin tree. He shows that SPFA(Souslin) is compatible with the existence of a Souslin tree and that SPFA(Souslin) implies SRP.


