Peter Krautzberger on the web

Shelah's Model without P-points-- part 9

Read more about this series at the first post.

Part 9: the main lemma ctd.

In short:

  • Destroying P-points in any further \omega^\omega -bounding extensions.
    • Second and final part of the proof.
screenshot of page 9

Part 9 as PDF

Part 9 as Xournal-source