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
Literatur
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
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
Literatur
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
Voraussetzungen
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes
Online-Angebote
moodle
- Lehrende: Martin Otto
Semester: WT 2020/21