Lehrinhalte
finite versus classical model theory, failure of classical techniques and results; model theoretic games and the Ehrenfeucht-Fraisse method, definability and Locality (Hanf, Gaifman); zero-one laws (Fagin); core results of descriptive complexity (Fagin, Immerman-Vardi, Abiteboul-Vianu)
Literatur
Ebbinghaus, Flum: Finite Model Theory
Grädel et al.: Finite Model Theory and Its Applications
Libkin: Elements of Finite Model Theory
lecture notes (available on http://www.mathematik.tu-darmstadt.de/~otto)
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
finite versus classical model theory, failure of classical techniques and results; model theoretic games and the Ehrenfeucht-Fraisse method, definability and Locality (Hanf, Gaifman); zero-one laws (Fagin); core results of descriptive complexity (Fagin, Immerman-Vardi, Abiteboul-Vianu)
Literatur
Ebbinghaus, Flum: Finite Model Theory
Grädel et al.: Finite Model Theory and Its Applications
Libkin: Elements of Finite Model Theory
lecture notes (available on http://www.mathematik.tu-darmstadt.de/~otto)
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
- Lehrende: Martin Otto
Semester: Inverno 2018/19