Logic Set TheorySpeaker: Garrett ErvinInstitution: UCITime: Monday, April 20, 2015 - 4:00pm to 5:30pmHost: Martin ZemanLocation: RH 440RWe discuss two step iterations of proper forcing.