04-00-0212-vu Model Theory

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

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: Model Theory

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

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