Das Seminar "Forcing" wird eine Gemeinschaftsveranstaltung der Universitäten Bonn und Münster und wird vom 7. bis 9. Juni 2002 als Blockveranstaltung am Institut für Mathematische Logik und Grundlagenforschung in Münster stattfinden. Das Seminar wird sowohl in Bonn als auch in Münster betreut.
Das Seminar wird sich mit der mengentheoretischen Technik des Forcing beschäftigen. Es kann als Fortsetzung der Münsteraner Vorlesung "Mengenlehre I" von Dr. Benedikt Löwe, aber auch als Fortsetzung des Bonner Vorlesungszyklus "Mengenlehre & Logik I, II, III" von Prof. Dr. Peter Koepke (I und III) und Dr. Benedikt Löwe (II) gesehen werden.
Vortrag 1: | Grundlagen: Partielle Ordnungen, generische Filter Martin's Axiom (S. 221-246 Skript) Anna Warzecha (Münster) Betreuung: Christoph Duchhardt |
---|---|
Vortrag 2: | Die generische Erweiterung (S. 242-249 Skript) Daniel Epping (Münster) Betreuung: Christoph Duchhardt |
Vortrag 3+4: | Forcing (S. 250-261 Skript) Verena Kutschker und Dirk Strothmann (Münster) Betreuung: Christoph Duchhardt |
Vortrag 5: | ZFC in der generischen Erweiterung (S. 264-269 Skript) Daniel Busche (Münster) Betreuung: Christoph Duchhardt |
Vortrag 6: | Forcingtechniken: Kettenbedingungen, Abgeschlossenheit,
Erhaltungssätze
(S. 269-276 Skript) Tanja Hötte (Bonn) Betreuung: Stefan Bold |
Vortrag 7: | CH und non(CH) (S. 277-287 Skript) Torsten Langer (Bonn) Betreuung: Stefan Bold |
Vortrag 8: | Theorem von Woodin-Cichon-Pawlikowski Gido Scharfenberger (Bonn) Betreuung: Benedikt Löwe |
Vortrag 9: | Theorem von Brendle Stefan Bold (Bonn) Betreuung: Benedikt Löwe |