Algorithmische Modelltheorie: Vorlesung (Di, 29.10.2019)