It is known that Namba forcing is stationarypreserving and hence can be used in the setting of Martin's Maximum. Does this result in any striking consequences?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Magidor's proof that MM implies that there are no good scales of length lambda^+ for lambda>cf(lambda)=w, utilizes a Nambastyle 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. 

