Martin's Maximum and the Diagonal Reflection Principle

Sean Cox, Hiroshi Sakai

We prove that Martin's Maximum does not imply the Diagonal Reflection Principle for stationary subsets of $[{\omega }_2{]}^{\omega }$.