اطلاعات درس

Die Vorlesung beschäftigt sich mit fortgeschrittenen Themen der Prädikatenlogik erster und höherer Stufe. Präsentiert werden unter anderem bekannte Techniken und Resultate aus den Bereichen endliche Modelltheorie und deskriptive Komplexitätstheorie, wie etwa Ehrenfeucht-Fraisse Spiele in verschiedenen Varianten, Lokalität, der Satz von Fagin und verwandte Resultate auf geordneten Strukturen, der Satz von Büchi, 0/1-Gesetze und der Satz von Courcelle.