Die Vorlesung bietet eine Vertiefung logischer Grundkenntnisse. Im Ausgang der Gödelschen Vollständigkeits- und Unvollständigkeitssätze werden hauptsächlich modell- und mengentheoretische Methoden und ihre Anwendungen vorgestellt.
The lecture offers a deepening of basic logical knowledge. In the starting point of Gödel's completeness and incompleteness theorems, mainly model- and set-theoretic methods and their applications are presented.
- Lehrende/r: Ralf-Dieter Schindler
Semester: WiSe 2023/24