Hauptseminar mathematische Logik (S2A2) / Graduate Seminar on Logic (S4A4)
Dozenten
- Dr. Philipp Lücke
- Dr. Philipp Schlicht
Zeit und Ort
Dienstag, 16.15-18.00 Uhr, Seminarraum N0.008.
Vorbesprechung
Mittwoch, 09.07.2014, 14.00-14.15 Uhr, kleiner Hörsaal, Wegelerstr. 10.
Inhalt
Modelltheorie beschäftigt sich mit den Modellen einer abstrakten Theorie, z.B. der Theorie der Gruppen, der algebraische abgeschlossenen Körper oder der Graphen. Dieses Seminar ist eine Einführung in die Modelltheorie. Wir folgen David Markers Buch "Model Theory: An Introduction". Voraussetzung für das Seminar sind Grundlagen der mathematischen Logik einschließlich des Vollständigkeits- und des Kompaktheitssatzes, z.B. die Vorlesung "Einführung in die Mathematische Logik".
Die Vorbesprechung findet am Mittwoch, den 09.07., um 14.00-14.15 im kleinen Hörsaal, Wegelerstrasse, statt.
Programm
- 1. Vollständige Theorien und Kategorizität (S. 40-44, U. Matzen)
- 2. Elementare Substrukturen und der Zufallsgraph (S. 44-48, P. Neubert).
- 3. Ehrenfeucht-Fraisse-Spiele (S. 52-56, K. Gründer)
- 4. Unendliche Logik und Scottsätze (S. 75-60, T. Weiß)
- 5. Quantorenelimination (S. 71-75, R. Passmann)
- 6. Divisible abelsche Gruppen (S. 75-81, J. Gruner)
- 7. Algebraisch abgeschlossene Körper (S. 84-90, T. Erdweg)
- 8. Reell-abgeschlossene Körper 1 (S. 93-104 (teilweise), T. Speer)
- 9. Reell-abgeschlossene Körper 2 (S. 93-104 (teilweise), Sebastian Gurke)
- 10. Partitions Resultate (S. 175-178, A. Ergus)
- 11. Indiscernibles (S. 178-183, K. Wilkinghoff)
Literatur
- [1] David Marker: Model Theory: An Introduction.