Mathematical Logic Group
(Department of Mathematics, University of Bonn)


Seminar "Logik - Forcing"

Sommersemester 2002


Dozenten:

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

Last changed: April 19th, 2002