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