Algorithmische Modelltheorie: Vorlesung (Mo, 18.11.2019)
  • Einbetten

Kapitel:

00:02:43
Beispiel (Satz von Hanf)
00:07:22
Beweis (Satz von Hanf)
00:30:19
Satz von Gaifman
00:51:13
Beweis (Satz von Gaifman, via Lemma)
01:06:36
Kommentar (elementare Komplexität, Komplexität vs. Praxis)