Lecture, three hours. Requisites: courses 220A, 220B, 220C. Forcing and independence results, including independence of continuum hypothesis and independence of axion of choice; inner model theory; large cardinals; proofs of determinacy; combinatorial set theory. Topics vary from year to year. May be repeated for credit with consent of instructor. S/U or letter grading.