Modelltheorie

Vorlesung 4-std. mit Übungen dazu (2-std.) - ECTS: 9

Diese Vorlesung ist primär als Master-Hauptmodul für die Vertiefungsrichtung Geometrie und Algebra gedacht. Sie kann jedoch auch für Studierende im 6. und 8. Semester gehört werden. Sie lässt sich auch als separates Prüfungsgebiet für BA, MA, Diplom und Staatsexamen verwenden. Vorkenntnisse in der mathematischen Logik werden vorausgesetzt.

Typische Begriffe, die in der Vorlesung eingeführt und angewendet werden, sind:
•  Modellkonstruktionen
•  elementare Erweiterungen,
•  saturierte Strukturen,
•  Ultraprodukte,
•  Kompaktheit,
•  Kategorizität,
•  Modellvollständigkeit,
•  Quantorenelimination,
•  Modelltheorie einiger algebraischer Theorien.

Literatur:
Einführung in die Modelltheorie, Philip Rothmaler, Spektrum Akademischer Verlag 1995

Zielgruppe:
BA, MA, D, LA

Vorlesungskommentar

Übungen zur Vorlesung