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.

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.

Course coordinators

Grigor Sargsyan

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

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

Description of 1000-1M25STAC in USOSweb