Shelah's Model without P-points, part 6

Read more about this series at the first post.

Part 6: properness ctd.

In short:

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

Part 6 as PDF

Part 6 as Xournal-source