Algorithmische Modelltheorie: Vorlesung (Di, 12.11.2019)

Kapitel:

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