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

Mengenlehre II

Sommersemester 2003

Prof. Dr. Peter Koepke (koepke (at) math.uni-bonn.de)
Vorlesung: Dienstag & Donnerstag, 10 - 12 Uhr (Seminarraum B)
Sprechstunde von Prof.Dr.Koepke: Donnerstag, 12 - 13 Uhr
Sekretariat: Frau Baoues (Be4Zi27, Mo-Fr, 8 - 12 Uhr, baoues (at) math.uni-bonn.de)

Newsgroup: uni-bonn.math.logik

Vorläuiges Skript zur Vorlesung (Stand 23.5.2003): (pdf-file) (ps-file)
Das Skript im pdf-Format kann im AcrobatReader grob gerastert aussehen, ausgedruckt ist es aber normal.

Mengenlehre-Skript von Manfred Burghard (1996): Teil 1:(pdf-file) (PostScript-file) (dvi-file) Teil 2:(pdf-file) (PostScript-file) (dvi-file)

Zuständiger Mitarbeiter für den Übungsbetrieb:

Die Vorlesung wird von einem Seminar zur Mengenlehre "Modelle der Mengenlehre" begleitet.

Nachdem in der Mengenlehre I des Wintersemesters die Grundlagen der Erzwingungsmethode (Forcing) eingeführt wurden, sollen in dieser Vorlesung einige wichtige Forcing-Konstruktionen vorgestellt werden, u.a.:

  1. Produkt-Forcing, mit dem die Hintereinanderausführung generischer Erweiterungen in einem Schritt durchgeführt werden kann.
  2. Die Lévy-Kollabierung einer unerreichbaren Kardinalzahl mit ihren Konsequenzen für die Mengenlehre der reellen Zahlen.
  3. Das Solovay-Modell, in dem jede Menge reeller Zahlen Lebesgue-messbar ist.


Last changed: May 23th, 2003