Algorithmische Modelltheorie: Vorlesung (Mo, 21.10.2019)

Kapitel:

00:00:21
Die Endliches-Modell-Eigenschaft (FMP)
00:05:42
Definition (atomarer k-Typ)
00:11:41
Satz (MFO hat FMP)
00:26:40
FO²
00:28:17
Lemma (Scott)
00:50:24
Geschichte (Gödels Fehler)
00:55:03
Satz (FO² hat FMP)
01:18:18
Beispiel (Hofstaat, endliches Modell)