Hauptseminar Mathematische Logik (S2A2)

Dozenten

• Prof. Dr. Peter Koepke
• Dr. Philipp Lücke

Zeit und Ort

Dienstag, 16.15-18.00 Uhr, Seminarraum 1.007.

Beginn: 25.10.2016

Inhalt

Modelltheorie beschäftigt sich mit den Modellen einer abstrakten Theorie, z.B. der Theorie der Gruppen, der algebraische abgeschlossenen Körper oder der Graphen. Wir folgen dem Skript Vorlesung über Modelltheorie von Martin Ziegler.

Programm

1. Omitting Types [1, 46-48] - Tarnovsky

2. ℵ₀-kategorische Theorien I. [1, 49-55]

3. ℵ₀-kategorische Theorien II. [1, 49-55] - Garibbo

4. Primmodelle [1, 56-58] - Foos

5. Indiscernibles [1, 59-61] - Pampel

6. ω-stabile Theorien [1, 62-65] - Henrich

7. Vaughtsche Paare [1, 66-68]

8. Morley abwärts [1, 69-71]

9. Streng minimale Theorien I. [1, 72-77]

10.Streng minimale Theorien II. [1, 72-77]

11. Der Satz von Baldwin-Lachlan [1, 78-80]

Literatur

[1] Martin Ziegler: Vorlesung über Modelltheorie, Vorlesungsskript.

[2] Katrin Tent, Martin Ziegler: A course in model theory, Lecture Notes in Logic, 40. Association for Symbolic Logic, La Jolla, CA; Cambridge University Press, Cambridge, 2012.