Mathematische Logik II: Ehrenfeucht-Fraïssé-Spiele (Di, 12.12.2023)

Anmeldung erforderlich

Benutzername/Passwort

RWTH

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

Anmelden

Beschreibung:

Leider waren einige Störgeräusche auf der Tonaufnahme. Diese wurden bestmöglich entfernt. Trotzdem ist das Video bei der Verwendung von Kopfhörern mit Vorsicht zu genießen.

Kapitel:

00:21:58
Lokale Isomorphismen
00:26:30
Ehrenfeucht-Fraïssé-Spiele
00:40:13
Hin- und Her-Systeme