Algorithmische Modelltheorie: Vorlesung (Mo, 06.01.2020)