set theory - 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 omega1-regressive omega2-Kurepa trees. The proof seems to have the same relatively direct flavor as those in Baumgartner's PFA article.
No comments:
Post a Comment