Logic Set TheorySpeaker: Ryan SullivantInstitution: UCITime: Monday, February 2, 2015 - 4:00pm to 5:30pmHost: Martin ZemanLocation: RH 440RWe give several equivalent characterizations of proper forcing.