104.452 Forcing in set theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021S, VO, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to...

Students will understand the the main concepts and the relations between them, and will be able to sketch main points of the proofs covered in the lecture. 

Subject of course

ZFC models, absoluteness of formulas, partial orders and complete Boolean algebras as forcing notions. Independence of the continum hypothesis. Further topics depending on available time and on the audience's (m/f) interests:  iterated forcing, Martin's axiom, the Solovay model. 

Teaching methods

The lecturer lectures (surprise!), provides reading material if necessary, answers question from the audience, and occasionally asks questions himself to get better feedback.

Mode of examination


Additional information

zoom-link wird via tuwel  bekannt gegeben.



Course dates

Fri12:00 - 12:3005.03.2021 zoom-link, siehe tuwel (LIVE)Vorbesprechung

Examination modalities

oral exam

Course registration

Not necessary



No lecture notes are available.

Previous knowledge

basic knowledge of mathematical logic (first order predicate logic, ZFC axioms)

Preceding courses