Seminar: | Modelltheorie |
Dozent: | Martin Ziegler |
Zeit/Ort: | Mi 11-13, SR 318 Eckerstr.1 |
Tutorium: | Olivier Roche |
Vorbesprechung: | Mi 14.2.2007, 11:15, SR 318 |
Web-Seite: | http://home.mathematik.uni-freiburg.de/ziegler/veranstaltungen/ss07-seminar.html |
Inhalt:
Wir besprechen in diesem Seminar Lecture Notes von Anand Pillay über streng minimale Mengen mit generischem Automorphismus.
In den Modellen M einer streng minimalen Theorie T ist jede definierbare Teilmenge entweder endlich oder koendlich. Unter gewissen Voraussetzungen an T hat die Theorie aller (M,σ), σ ein Automorphismus von M, einen Modellbegleiter TA. Wichtigstes Beispiel ist ACFA, der Modellbegleiter der Theorie aller algebraisch abgeschlossenen Körper mit Automorphismus.
In Pillays Lecture Notes werden TA und ACFA diskutiert.
Literatur:
Typisches Semester: | 6. Semester |
Studienschwerpunkt: | Mathematische Logik |
Nützliche Vorkenntnisse: | Logik, Modelltheorie |
Folgeveranstaltungen: | Seminar über Modelltheorie |
Sprechstunde Dozent: | nach Vereinbarung |