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.

Deadlines

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

Schedule

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

Topics

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]

Literature

[CK90]	C. Chang and J. Keisler. Model Theory. North-Holland, 1990.
[CL94]	R. Cori and D. Lascar. Logique mathématique. Masson, 1994.
[EFT96]	H. Ebbinghaus, J. Flum, and W. Thomas. Einführung in die mathematische Logik. Spektrum, 1996.
[F+90]	S. Feferman et al. (Eds.). Kurt Gödel, Collected Works, Vol. II, Publications 1938-1974. Oxford University Press, Oxford, 1990.
[Goe31]	K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik, vol. 38, pp. 173–198, 1931.
[Goe92]	K. Gödel. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. Dover, 1992.
[Hen49]	L. Henkin. The Completeness of the First-Order Functional Calculus. J. Symb. Log., vol. 14(3), pp. 159-166, 1949.
[Hen96]	L. Henkin. The Discovery of My Completeness Proofs. Bulletin of Symbolic Logic, vol. 2(2), pp. 127–158, 1996.
[Hod93]	W. Hodges. Model theory. Cambridge University Press, 1993.
[Jec73]	T. J. Jech. The axiom of choice. North-Holland Publishing Co., Amsterdam, 1973.
[Kec95]	A. S. Kechris. Classical Descriptive Set Theory (Graduate Texts in Mathematics). HardcoverSpringer, 1995.
[LRTW91]	H. Leblanc, P. Roeper, M. Thau, and G. Weaver. Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic, vol. 32(2), pp. 212-232, 1991.
[Poi00]	B. Poizat. A Course in Model Theory. Springer Verlag, 2000.
[Rot00]	P. Rothmaler. Introduction to Model Theory. Gordon and Breach Science Publishers, 2000.

Classification

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

Prerequisites

• Vorlesung Mathematische Logik

Contact

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