Algorithmische Modelltheorie: Vorlesung (Mi, 29.05.2024)
Zur Veranstaltungsseite

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Beschreibung:

Erste 15 Minuten mit schlechterer Tonqualität

Kapitel:

00:00:11
4.3: Satz von Gaifman
01:10:44
4.4: Untere Schranke für die Länge lokaler Sätze