Logic Set TheorySpeaker: Garrett ErvinInstitution: UCITime: Monday, May 18, 2015 - 4:00pm to 5:30pmHost: Martin ZemanLocation: RH 440RWe begin with the proof of iteration lemma for proper forcing.