Abteilung für Mathematische Logik

Übungen zur Vorlesung Modelltheorie 1

Dozent: Prof. Dr. Heike Mildenberger (Raum 310)
Assistent: Dr. Mohsen Khani (Raum 305)
Über den Kurs

Blume
WS2014/
2015

Tutoren

Gruppe 1: Dennis Müller
Gruppe 2: Philipp Bamberger

Übungsgruppenzeiten

Gruppe 1: Donnerstag 10-12, SR 119
Gruppe 2: Mittwoch 16-18, KG I, HS 1231

Bemerkungen

Aufgaben

Blatt 1, Wiederholung, Abgabe am 27.10 vor 16:00 Uhr
Blatt 2, Ultraprodukten, Abgabe am 3.11 vor 16:00 Uhr
Blatt 3, Quantifier Elimination, Abgabe am 10.11 vor 16:00 Uhr
Blatt 4, Model Companion and Positive Quantifier Elimination, Abgabe am 17.11 vor 16:00 Uhr
Blatt 5, Real and Algebraically Closed Fields, Abgabe am 24.11 vor 16:00 Uhr
Blatt 6, Types, Abgabe am 1.12 vor 16:00 Uhr
Blatt 7, Aleph-Zero Categoricity and Omega-Saturatedness, Abgabe am 8.12 vor 16:00 Uhr
Blatt 8, Complementary Algebraic Exercises
Solution of Auf 1 Blatt 6
Blatt 9, Fraïssé's Construction, Abgabe am 15.12 vor 16:00 Uhr
Blatt 10, Prime Models and Indiscernible Sequences, Abgabe am 22.12 vor 16:00 Uhr
Blatt 11, Stability, Categoricity, Saturatedness, Abgabe am 12.1 vor 16:00 Uhr
Blatt 12, Vaughtian Pairs, Prime Extensions, Indiscernibles, Abgabe am 19.1 vor 16:00 Uhr
Blatt 13, elimination of the quantifer there are infinitely many, Abgabe am 26.1 vor 16:00 Uhr
Blatt 14, Strong Minimality, Abgabe am 2.2 vor 16:00 Uhr
Blatt 15, The Monster, Abgabe am 9.2 vor 16:00 Uhr
Settling Ambiguities,
Strongly Minimal Theories and Morley's Theorem, der Unterricht von 26.1
Strongly Minimal Theories and Morley's Theorem, der Unterricht von 26.1, in Tex
Blatt 16, Morley Rank, Abgabe am 16.2 vor 16:00 Uhr