Stevo’s Forcing Class Fall 2012 – Class 1

(In the fall of 2012 I will be taking Stevo Todorcevic’s class in Forcing at the University of Toronto. I will try to publish my notes here, although that won’t always be possible.)

Summary of class 1.

  • Discuss examples of ccc posets whose product is not ccc.
  • Prove a theorem of Baumgartner’s that relates the branches in a tree to its antichain structure.
  • Display the differences in chain conditions.

Continue reading Stevo’s Forcing Class Fall 2012 – Class 1