Seminar zur Mengenlehre: Martins Axiom und Absolutheit

Wintersemester 03/04

• Prof. Dr. Peter Koepke
• Dr. Bernhard Irrgang

Dieses Seminar wird am Beispiel von Martins Axiom einen Zusammenhang zwischen Forcingaxiomen und Absolutheitseigenschaften des Mengenuniversums herstellen. Das Seminar baut auf der Vorlesung Mengenlehre II des Sommersemesters 2003 auf.

• 23. Oktober Absolutheit zwischen Modellen der Mengenlehre
  In diesem Vortrag soll der Begriff der Absolutheit eingeführt und grundlegende Tatsachen, wie der Absolutheitssatz von Levy-Schoenfield und der von Schoenfield, beweisen werden. Zu diesen Sätzen siehe: Th. Jech, "Set Theory", 2nd edition, S. 120 bzw S. 530.
  Vortragende: L. Pillmann
  
  
• 30. Oktober Charakterisierung von MA durch Absolutheit I
  Es soll MA definiert werden. Ausserdem soll der in "A Charakterization of Martin's Axiom in Terms of Absoluteness" (JSL 62, 1997, p. 366 - 372) von Joan Bagaria dargestellte Zusammenhang zwischen MA und Absolutheit erläutert werden.
  Vortragender: A. Rothkegel
  
  
• 6. November Charakterisierung von MA durch Absolutheit II
  Fortsetzung des letzten Vortrags.
  Vortragender: A. Gilbers
  
  
• 13. November Folgerungen aus MA
  Es sollen wichtige Folgerungen von MA gezeigt werden. Siehe: K. Kunen, "Set Theory", S. 51 ff.
  Vortragender: M. Klein
  
  
• 20. November Iteriertes Forcing I
  In diesem Vortrag soll anhand des Mengenlehreskripts Kapitel 33 iteriertes Forcing eingeführt werden.
  Vortragende: I. Arndt
  
  
• 27. November Iteriertes Forcing II
  Fortsetzung des letzten Vortrags. Siehe Mengenlehreskript Kapitel 34.
  Vortragender: F. Roth
  
  
• 4. Dezember MA in einer iterierten Erweiterung
  Es soll MA erzwungen werden. Siehe Mengenlehreskript Kapitel 35.
  Vortragender: M. Klein



---



• 11. Dezember Der Überdeckungssatz I
  Vortragender: P. Koepke
  
  
• 18. Dezember Der Überdeckungssatz II
  Vortragender: P. Koepke