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:
3
Language of instruction:
Englisch
Min. | Max. participants:
- | -
Course Contents:
model constructions (e.g. ultra-products, elementary chains); classical preservation theorems (expressive completeness results); model theoretic games, back&forth, partial isomomorphy; types and saturation properties; countable models and categoricity; Fraïssé limits and 0-1-laws
Literature:
Cori/Lascar: Mathematical Logik
Chang/Keisler: Model Theory
Hodges: Model Theory
Hodges: A Shorter Model Theory
Marker: Model Theory, an Introduction
Rothmaler: Modelltheorie
Poizat: A Course in Model Theory
Preconditions:
recommended: Introduction to Mathematical Logic
Online Offerings:
moodle
|