04-10-0311-vu Classical and Non-Classical Model Theory

Instructors: Prof. Dr. rer. nat. Martin Otto

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: Model Theory

Subject:

Crediting for:

Hours per week: 6

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
comparing logics: first-order and other logics; compactness, types and saturation properties; Ehrenfeucht–Fraï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

Preconditions:
recommended: Introduction to Mathematical Logic.
Alternatively: Logic as taught in CS programmes

Online Offerings:
moodle