Algorithmische Modelltheorie: Vorlesung (Di, 19.11.2019)
  • Einbetten

Kapitel:

00:44:55
Beispiel (Satz von Gaifman)
00:51:54
Untere Schranke für die Länge lokaler Sätze