Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, fortgeschrittene Fragestellungen der Modelltheorie zu verstehen und zu lösen. Die Modelltheorie ist eines der grundlegenden Teilgebiete der mathematischen Logik und behandelt den Zusammenhang logischer Theorien mit den mathematischen Strukturen, welche diese erfüllen.
Eine Einführung in die Modelltheorie: Diese untersucht Eigenschaften all jener Strukturen, welche eine bestimmte logische Theorie erfüllen. Die Vorlesung wird von einer gleichnamigen Übung begleitet.
Vortrag.
Literatur: W.Hodges, "Model theory"
Mündliche Prüfung.
Grundkenntnisse der mathematischen Logik.