Algorithmische Modelltheorie: Vorlesung (Di, 03.12.2019)