Algorithmische Modelltheorie: Vorlesung (Di, 12.11.2019)

Anmeldung erforderlich

RWTH

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

Anmelden
  • Einbetten

Kapitel:

00:00:07
4. FO auf endlichen Strukturen
00:00:44
Satz von Ehrenfeucht-Fraïssé
00:06:12
Hin- und Her-Systeme
00:17:45
Lemma (Charakterisierung von Hin- und Her-Systemen durch FO-Formeln)
00:39:30
Beweis (Satz von Ehrenfeucht-Fraïssé)
00:57:44
Lokalität von FO