Algorithmische Modelltheorie: Vorlesung (Mo, 28.10.2019)