In der Vorlesung werden die Grundbegriffe und fundamentalen Techniken der Modelltheorie eingeführt. Der Inhalt umfasst: - Kompaktheitssatz - elementare Erweiterungen - omega-kategorische Strukturen und Amalgamierung - Aleph_1-kategorische und omega-stabile Theorien - Morley-Rank, Satz von Morley etc. Die Vorlesung beginnt am 15. April 2021.
Literatur: - C.C. Chang, J. Keisler: Model theory, Springer - D. Marker: Model Theory. An introduction, Springer - B. Poizat: A course in model theory, Springer - K. Tent, M. Ziegler: A course in model theory, Cambridge University Press
Die Vorlesung kann auch als 'Logik II' oder 'Logik IV' gehört werden.
Vorlesung "Logik 1"
Diese Vorlesung ist (ggf. mit den zugehörigen Übungen) wählbar in folgenden Studiengängen und Modulen:
BSc Mathematik
MSc Mathematik
eG
eG
eG