An application of proper forcings with models as side conditions (Set Theory and Computability Theory of the Reals)
Teruyuki Yorioka · Kyoto University Research Information Repository (Kyoto University) · 2004
The method in the title has been introduced by Stevo Todorcevic.In this note, we give one application of this method, i.e. we show that it is consistent that Martin's Axiom holds and there exist $(\mathrm{c}, \mathrm{c})$ gaps but no $(\omega_{1}, \mathrm{e})-$ gaps.