Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage fortgeschnittene Beweise aus der Mathematischen Logik durchzuführen (vorwiegend in den Bereichen Modelltheorie und Berechenbarkeitstheorie).
Die folgenden Themen werden in dieser LVA behandelt werden:- Quantorenelimination- Gödels Unvollständigkeitssätze- Berechenbare Strukturen
Vorlesung und Diskussion
Zwei Hausarbeiten, je 6-7 Beispiele.
Kenntnis der grundlegenden Begriffe der mathematischen Logik (Syntax, Semantik, first-order, propositional, Grundbegriffe der Berechenbarkeitstheorie) werden vorausgesetzt. Es wird empfohlen (aber nicht erforderlich), die LVA Theorie der Berechenbarkeit vorher zu absolvieren.