Logic Set TheorySpeaker: Andres ForeroInstitution: UCITime: Monday, January 30, 2012 - 4:00pmLocation: RH 440RWe complete the construction of the Martin-Solovay tree