Algorithmische Modelltheorie: Vorlesung (Mo, 21.10.2019)