Lehrinhalte
Modellkonstruktionen (z.B. Ultraprodukte, Kettenkonstruktionen); klassische Erhaltungssätze (Sätze über Ausdrucksvollständigkeit); modelltheoretische Spiele, back&forth, partielle Isomomorphie; Typen und Saturiertheit; abzählbare Modelle und Kategorizität; Fraïssé Limiten and 0-1-Gesetze
Literatur
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
Voraussetzungen
empfohlen: Introduction to Mathematical Logic
Online-Angebote
moodle
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
- Lehrende: Martin Otto