Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage ausgewählte fortgeschrittene Forcingmethoden (mit Schwerpunkt Mengenlehre der reellen Zahlen) zu erklären und anzuwenden.
proper forcing, creature forcing, Boolean ultrapowers
1. Frontalunterricht; 2. selbstständiges Studium der zur Verfügung gestellten Literatur, 3. die dann in der Vorlesung diskutiert wird
Die LVA richtet sich an Dissertanten in Mengenlehre und Masterstudierenden mit Bachelorarbeit aus dem Gebiet der Mengenlehre. Die LVA wird auf Englisch abgehalten.
Mündliche Prüfung. Keine Anwesenheitspflicht.
Nicht erforderlich
Solides Wissen in grundlegenden forcing methoden (zB der Konsistenz von MA und großem Kontinuum).