Set theory after Cohen 1000-1M25STAC

The following is a non-complete list of more specific topics:
(1) The method of elementary submodels.
(2) Gödel’s Constructible Universe L.
(3) Shoenfield’s absoluteness.
(4) Measurable cardinals.
(5) The Axiom of Projective Determinacy.
(6) Co-analytic determinacy from measurable cardinals (due to Martin).
(7) Instances of projective absoluteness.
(8) Silver’s Theorem on Σ12 equivalence relations.
(9) Strong and Woodin cardinals, and their impact on generic absoluteness.

Course coordinators

Grigor Sargsyan

Type of course

elective monographs

Mode

Classroom

Prerequisites (description)

The ideal student for the course is one who has already taken a course in basic logic and basic set theory. Familiarity with compactness theorem, incompleteness theorem, ordinal and cardinal numbers and other basic notions from logic and set theory will be very helpful.

Additional information

Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:

Master's degree, second cycle programme, Mathematics