Graduate Students
Graduate Programs     
Graduate Home Ph D Programs Masters Degree Ph D Program Requirements Course Descriptions Current Courses Admissions Current Graduate Students Graduate Student Seminar SIAM Chapter Seminar Recent Graduates Incoming Students

Apply Now
Graduate Courses

21-702
Set Theory II
12 units

This course is a sequel to 21-602 Set Theory. The main goal is to prove Solovay's theorem that Con(ZFC + an inaccessible cardinal) implies Con(ZF + DC + every set of reals is Lebesgue measurable). Topics covered include absoluteness theorems, Borel codes, the Levy collapse, product forcing, relative constructibility, and the basics of iterated forcing up to the consistency of Martin's Axiom.