Bonn Mathematical Logic Group

Hauptseminar mathematische Logik (S2A2) / Graduate Seminar on Logic (S4A4)


Dozenten

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, 07.10.2014)
2. Elementare Substrukturen und der Zufallsgraph (S. 44-48, P. Neubert, 14.10.2014).
3. Ehrenfeucht-Fraisse-Spiele (S. 52-56, K. Gründer, 21.10.2014)
4. Unendliche Logik und Scottsätze (S. 75-60, T. Weiß, 28.10.2014)
5. Quantorenelimination (S. 71-75, R. Passmann, 29.10.2014 im SR 0.011)
6. Divisible abelsche Gruppen (S. 75-81, J. Gruner, 11.11.2014)
7. Algebraisch abgeschlossene Körper (S. 84-90, T. Erdweg, 18.11.2014)
8. Reell-abgeschlossene Körper 1 (S. 93-98, T. Speer, 25.11.2014)
9. Reell-abgeschlossene Körper 2 (S. 98-104, S. Gurke, 02.12.2014)
10. Indiscernibles (S. 178-183, A. Ergus, 09.12.2014)

Literatur

[1] David Marker: Model Theory: An Introduction.

Letzte Änderung: 11 September 2014