Shelah's Model without P-points, part 5

Read more about this series at the first post.

Part 5: properness

In short:

• Basic Properties:
  • Grigorieff forcing and the Sacks variant are proper (part 1)

Part 5 as PDF

Part 5 as Xournal-source