Letter of Introduction
Degree Programs
Graduate Courses
Seminars
Admissions
Financial Aid
Past Dissertations
Home
|
|
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.
|
