n Models of Set Theory I., Summer 2019
Bonn Mathematical Logic Group

Models of Set Theory I. (V4A8)


Time and place

Lecture: Monday 14:15-16:00 und Wednesday 12:15-14:00, Seminarraum 1.008, Endenicher Allee 60. Start: 01. April.
Problem classes: Wednesday 10:15-12:00, Seminarraum N0.008, Endenicher Allee 60. Start: 10. April.


Cantor's Continuum Hypothesis (CH) is the statement that every uncountable set of real numbers has the same cardinality as the set of all real numbers. The validity of CH is one of the most central problems in set theory and it was considered so important by David Hilbert that he placed it first on his famous list of open problems to be faced by the 20th century. In this lecture course, we will present groundbreaking results of Kurt Gödel and Paul Cohen that can be used to show that CH is independent of the standard axiomatization of mathematics provided by the Zermelo-Fraenkel axioms of Set Theory together with the Axiom of Choice (ZFC).

The lecture course will cover the following topics:


Oral Exams



Last changed: 18.01.2019