Mathematical
Logic Group
(Department of
Mathematics, University of
Bonn)
Seminar zur Mengenlehre
Sommersemester 2005
Zeit und Ort: Dienstag, 14 - 16 Uhr, SR A
Dozenten:
Prof. Dr. Peter Koepke
Dr. Bernhard Irrgang
Vorträge
1. Stationäre Mengen und der Satz von Silver (S. 91 - 99)
12.04.05, Merlin Carl
2. Erzwingung der Verallgemeinerung von CH und der Negation auf größere Kardinalzahlen (Übg. 15.15 und S. 226 - 228)
19.04.05, Thorsten Rieken
3. Produkt-Forcing (S. 229 - 232)
26.04.05, Stefan Krämer
4. Satz von Easton (Mengen-Version) (S. 232 - 234)
03.05.05, David Thomas
5. Klassen-Forcing (S. 235 - 237)
10.05.05, Christina Kürten
6. Erzwingen von GCH
24.05.05, Jan Schneider
7.+8. Symmetrische Modelle, Satz von Jech-Sochor, die relative Konsistenz der Negation von AC (S. 249 - 261)
31.05.05, Benjamin Seyfferth
07.06.05, Daniel Wissel
9. Suslin-Kontinua und Suslin-Bäume, Aronszajn-Bäume, Karo (S. 114 - 117, S. 241 - 242)
14.06.05, Johannes Klauser
10. Erzwingung von Karo und von Suslin-Bäumen, Forcing mit einem Suslin-Baum (S. 242, Übg. 15.21 - 23)
21.06.05, Dominik Klein
11. Das Prinzip Quadrat, Reflektion stationärer Mengen, Erzwingung von Quadrat (S. 443 - 444, Übg. 23.3)
28.06.05, Manuel Peelen
12. Martins Axiom (MA) und Anwendungen (S. 272, S. 274 - 279)
05.07.05, Frank Weilandt
13. Proper Forcing (S. 601 - 604, Bsp. 31.14, Übg. 31.15, 31.16)
12.07.05, Andreas Müller
14. Das Proper Forcing Axiom (S. 607 - 608, S. 611)
19.07.05, Michael Klein
Es wird die in der Vorlesung Mengenlehre I des Wintersemesters eingeführte Erzwingungsmethode (Forcing) weiterentwickelt und auf verschiedene Fragen der infinitären Kombinatorik angewendet. Die betrachteten Themen stehen teilweise in Zusammenhang mit der parallelen Vorlesung Mengenlehre II.
Literatur:
Thomas Jech: Set Theory, The Third Millenium Edition, Springer, 2002
Darauf beziehen sich auch die oben genannten Seitenangaben.
Last changed: September 15, 2005