Algorithmische Modelltheorie: Vorlesung (Di, 19.11.2019)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

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