Friday, 9 November 2007

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 $omega_{1}$-regressive $omega_{2}$-Kurepa trees. The proof seems to have the same relatively direct flavor as those in Baumgartner's $PFA$ article.

No comments:

Post a Comment