Algorithmische Modelltheorie: Vorlesung (Di, 12.11.2019)

Kapitel:

00:00:44
Satz von Ehrenfeuch- FraÏsse
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 Ehrenfeuch- FraÏsse)
00:57:44
Lokalität von FO