Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage fortgeschrittene Fragestellungen der Modelltheorie zu verstehen und lösen. Die Modelltheorie ist eines der grundlegenden Teilgebiete der mathematischen Logik.
Eine Einführung in die Modelltheorie: Diese untersucht Eigenschaften all jener Strukturen, welche eine bestimmte logische Theorie erfüllen. Die Übung begleitet eine gleichnamige Vorlesung.
Übungsbeispiele lösen.
Laufende Beurteilung.
Grundkenntnisse der mathematischen Logik.