Logic Set TheorySpeaker: Andres ForeroInstitution: UCITime: Monday, January 23, 2012 - 4:00pmLocation: RH 440RThe construction of the Martin-Solovay tree will be presented