This is a standard first graduate course in set theory. The two main topics are constructibility and forcing. Roughly, we will cover chapters I and III-VII of the textbook in order, and refer back to chapter II as needed. Our primary goal is the independence of the continuum hypothesis. Students are expected to get an early start on the homework and to ask for hints on problems that they are not able to solve after a few days.
Auditors are welcome.
Those planning to audit are urged to do so officially . Looking ahead to next term. The course number will probably be 21-702 and the material will include iterated forcing, Martin's Axiom, and the Solovay model.