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.

Part 9 as PDF

Part 9 as Xournal-source