|
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
|
Graduate Courses
21-602 Introduction to Set Theory Fall: 12 units The axioms of ZFC, ordinal arithmetic, cardinal arithmetic including Kőnig's lemma, class length induction and recursion, the rank hierarchy, the Mostowski collapse theorem, the H(λ) hierarchy, the Δ1 absoluteness theorem, the absoluteness of wellfoundedness, the reflection theorem for hierarchies of sets, ordinal definability, the model HOD, relative consistency, Gödel's theorem that HOD is a model of ZFC, constructibility, Gödel's theorem that L is a model of ZFC + GCH, the Borel and Projective hierarchies and their effective versions, Suslin representations for Σ11, Π11 and Σ12, sets of reals, Shoenfield's absoluteness theorem, the complexity of the set of constructible reals, the combinatorics of club and stationary sets (including the diagonal intersection, the normality of the club filter and Fodor's lemma), Solovay's splitting theorem, model theoretic techniques commonly applied in set theory (e.g., elementary substructures, chains of models and ultrapowers), club and stationary subsets of [X]ω (including a generalization of Fodor's lemma and and connections with elementary substructures), Jensen's diamond principles and his proofs that they hold in L, Gregory's theorem, constructions of various kinds of uncountable trees (including Aronszajn, special, Suslin, Kurepa), Jensen's square principles and elementary applications, the basic theory of large cardinals (including inaccesssible, Mahlo, weakly compact and measurable cardinals), Scott's theorem that there are no measurable cardinals in L, Kunen's theorem that the only elementary embedding from V to V is the identity. Prerequisites for 21-602The minimum background for 21-602 is the equivalent of undergraduate set theory (e.g., 21-329) and the fundamentals of logic (e.g., 21-600). Students should arrive with a working knowledge of basic ordinal and cardinal arithmetic, Gödel's completeness theorem and the downward Loewenheim-Skolem theorem. An understanding of the statement of Gödel's incompleteness theorem is also assumed. (This theorem is mentioned in 21-600 but proved in 21-700.) |
