It is known that Namba forcing is stationary-preserving and hence can be used in the setting of Martin's Maximum. Does this result in any striking consequences?



What are the Martin's Maximum consequences of Namba forcing?
I think that I may have found a suitable candidate; namely, the result of
Konig and Yoshinobu that $MM$ implies that there are no $\omega\_{1}$-regressive $\omega\_{2}$-Kurepa trees. The proof seems to have the same relatively direct flavor as those in Baumgartner's $PFA$ article.


