Algorithmische Modelltheorie: Vorlesung (Mo, 16.12.2019)