04-10-0311-vu Classical and Non-Classical 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: 6

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Vergleich von Logiken: Logik erster Stufe und andere; Kompaktheit, Typen, Saturiertheitseigenschaften; Ehrenfeucht–Fraïssé Spiele und Lindstroemsche Sätze; Erhaltungssätze und Ausdrucksvollständigkeit; algorithnmische Aspekte und Entscheidbarkeit; ausgewählte Themen der algorithmischen und endlichen Modelltheorie

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:
empfohlen: Introduction to Mathematical Logic.

Alternativ für Studierende der Informatik:
- Aussagen- und Prädikatenlogik

Online-Angebote:
moodle