Vorlesung im Sommersemster 2011
Modelltheorie Vorlesung 4-std. - Mit Übungen dazu (2-std.) ECTS: 9	Mo. 16-18 Mi. 14-16	S. Kuhlmann I. Kaplan
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 verwende. 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