Shelah's Model without P-points, part 8

Read more about this series at the first post.

Part 8: the main lemma

In short:

• Destroying P-points in any further \omega^\omega-bounding extensions.
  • First part of the proof.

Part 8 as PDF

Part 8 as Xournal-source