Lehrinhalte
comparing logics: first-order and other logics; compactness, types and saturation properties; EhrenfeuchtFraïssé games and Lindstroem theorems; tractable theories and tractable models; preservation and expressive completeness; algorithmic issues and decidability; themes in finite and algorithmic model theory
Literature
Cori/Lascar: Mathematical Logic
Chang/Keisler: Model Theory
Hodges: Model Theory
Poizat: A Course in Model Theory
Ebbinghaus/Flum: Finite Model Theory
Grädel et al (eds): Finite Model Theory and Its Applications
lecture notes will be made available on moodle
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
Online-Angebote
moodle
comparing logics: first-order and other logics; compactness, types and saturation properties; EhrenfeuchtFraïssé games and Lindstroem theorems; tractable theories and tractable models; preservation and expressive completeness; algorithmic issues and decidability; themes in finite and algorithmic model theory
Literature
Cori/Lascar: Mathematical Logic
Chang/Keisler: Model Theory
Hodges: Model Theory
Poizat: A Course in Model Theory
Ebbinghaus/Flum: Finite Model Theory
Grädel et al (eds): Finite Model Theory and Its Applications
lecture notes will be made available on moodle
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
Online-Angebote
moodle
- Lecturer: Martin Otto
Semester: WT 2022/23