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)

Shelah's model without P-points

Part 5 as PDF

Part 6 as Xournal-source