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.
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.
The lecturer lectures (surprise!), provides reading material if necessary, answers question from the audience, and occasionally asks questions himself to get better feedback.
zoom-link wird via tuwel bekannt gegeben.
oral exam
Not necessary
basic knowledge of mathematical logic (first order predicate logic, ZFC axioms)