Kommentare zu den Lehrveranstaltungen - Mathematisches Institut ...
Kommentare zu den Lehrveranstaltungen - Mathematisches Institut ...
Kommentare zu den Lehrveranstaltungen - Mathematisches Institut ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Seminar: Modelltheorie<br />
Dozent: Martin Ziegler<br />
Zeit/Ort: Mi 11-13, SR 218 Eckerstr.1<br />
Tutorium: Olivier Roche<br />
Vorbesprechung: Mi 26.4.2006<br />
Abteilung für<br />
Mathematische Logik<br />
Web-Seite: http://home.mathematik.uni-freiburg.de/ziegler/veranstaltungen/ss06seminar.html<br />
Inhalt:<br />
Eine linear geordnete Struktur M heißt 0-minimal, wenn jede definierbare Teilmenge eine<br />
Vereinigung von endlich vielen Intervallen ist. Der Körper der reellen Zahlen <strong>zu</strong>m Beispiel<br />
ist 0-minimal, und bleibt es, wenn man die Exponentialfunktion oder auf [0, 1] beschränkte<br />
analytische Funktionen hin<strong>zu</strong>nimmt, oder <strong>zu</strong> elementaren Erweiterungen übergeht.<br />
In seiner Arbeit Type-Definability . . . hat Pillay vermutet, daß <strong>zu</strong> jeder M–definierbaren<br />
Gruppe auf kanonische Weise eine kompakte Lie-Gruppe gehört. Die Vermutung ist im<br />
letzten Jahr von Hruschovski, Peterzil und Pillay bewiesen wor<strong>den</strong>. Ziel des Seminars ist<br />
das Studiums ihres Beweises.<br />
yy Literatur:<br />
1. Pillay Type-Definability, compact Lie Groups and 0-Minimality J. Math. Logic 4, (2004),<br />
147-162.<br />
2. E. Hrushovski, Y. Peterzil, A. Pillay Groups, Measures and the NIP. Preprint 2005 (Eine<br />
Kopie findet sich auf der Webseite des Seminars)<br />
Typisches Semester: 6. Semester<br />
Studienschwerpunkt: Mathematische Logik<br />
Nützliche Vorkenntnisse: Logik, Modelltheorie<br />
Folgeveranstaltungen: Seminar über Modelltheorie<br />
Sprechstunde Dozent: nach Vereinbarung<br />
52