(This is the fifth lecture in Stevo Todorcevic’s Forcing class, held in the fall of 2012. You can find the fourth lecture here. Quotes by Stevo are in dark blue; some are deep, some are funny, some are paraphrased so use your judgement. As always I appreciate any type of feedback, including reporting typos, in the comments below.)
- Mention something about Cohen and Random Forcing.
- We recall some facts about .
- Establish some lemmas about .
- Give most of the proof of the functor on ccc posets.