Seminar Perlen der Mathematischen Logik

SS 2007

Organisation

Die Veranstaltung wird als Blockseminar angeboten. Eine Vorbesprechung findet am Montag, den 26. März 2007 um 11 Uhr in Raum 4116 (Seminarraum des Lehrstuhls) statt. Die Vorträge finden am 4. und 5. Juli 2007 im Seminarraum statt und können wahlweise auf deutsch oder englisch gehalten werden.

Zeitplan

16.04. Konzept
23.04., 14 Uhr Einführungsvortrag
02.05. Gliederung
21.05. Ausarbeitung
11.06. Endgültige Fassung
18.06. Folien
04./05.07. Vorträge

Programm

Mittwoch, 4. Juli
9:30 10:15 Anke Honskamp Der Kompaktheitssatz
10:30 11:15 Stefan Schulz Der Vollständigkeitssatz
11:15 12:00 Wied Pakusa Die Sätze von Lindström
12:00 13:30 Mittagspause
13:30 14:15 Lars Noschinski Ordinalzahlen und Kardinalzahlen
14:30 15:15 Sebastian Siebertz Auswahlaxiom und Kontinuumshypothese in ZF, Teil I
15:15 16:00 Lisa Klein Auswahlaxiom und Kontinuumshypothese in ZF, Teil II
Donnerstag, 5. Juli
9:30 10:15 Simon Heise Das Auswahlaxiom, Teil I
10:15 11:00 Sebastian Schnitzler Das Auswahlaxiom, Teil II
11:15 12:00 Patrick Sudowe Der Satz von Shelah und Keisler über Ultrapotenzen
12:00 13:30 Mittagspause
13:30 14:15 Grit Claßen Gödelsche Unvollständigkeitssätze, Teil I
14:15 15:00 Martin Meurer Gödelsche Unvollständigkeitssätze, Teil II
15:15 16:00 Andreas Kelle-Emden Banach-Mazur-Spiele

Themen

Thema Vortragende(r) Betreuer(in) Literatur
Der Kompaktheitssatz Anke Honskamp V. Bárány [Rot00, Poi00, Hod93]
Der Vollständigkeitssatz Stefan Schulz M. Ummels [Hen49, Hen96, LRTW91]
Die Sätze von Lindström Wied Pakusa T. Ganzow [EFT96]
Ordinalzahlen und Kardinalzahlen Lars Noschinski T. Ganzow [Rot00]
Das Auswahlaxiom, Teil I Simon Heise T. Ganzow [Jec73]
Das Auswahlaxiom, Teil II Sebastian Schnitzler T. Ganzow [Jec73]
Auswahlaxiom und Kontinuumshypothese in ZF, Teil I Sebastian Siebertz Ł. Kaiser [F+90]
Auswahlaxiom und Kontinuumshypothese in ZF, Teil II Lisa Klein Ł. Kaiser [F+90]
Gödelsche Unvollständigkeitssätze, Teil I Grit Claßen M. Ummels [CL94, Goe31, Goe92]
Gödelsche Unvollständigkeitssätze, Teil II Martin Meurer M. Ummels [CL94, Goe31, Goe92]
Der Satz von Shelah und Keisler über Ultrapotenzen Patrick Sudowe V. Bárány [CK90]
Indiscernibles und der Satz von Ramsey Masrur Doostdar-Sanaje V. Bárány [CK90]
Banach-Mazur-Spiele Andreas Kelle-Emden Ł. Kaiser [Kec95]

Literatur

Zuordnung

  • Informatik (D)/Hauptstudium/Theoretische Informatik
  • Mathematik (D)/Hauptstudium/Reine Mathematik
  • Informatik (S II)
  • Mathematik (S II)/Hauptstudium/Modul Angewandte Mathematik

Voraussetzungen

  • Vorlesung Mathematische Logik

Rückfragen

Erich Grädel, Vince Bárány, Tobias Ganzow, Łukasz Kaiser, Michael Ummels