[next] [prev] [prev-tail] [tail] [up]

4.9 Modelltheorie

Seminar:

Modelltheorie

  

Dozent:

Martin Ziegler

  

Zeit/Ort:

Mi 11-13, SR 218 Eckerstr.1

  

Tutorium:

Olivier Roche

  

Vorbesprechung:

Mi 26.4.2006

  

Web-Seite:

http://home.mathematik.uni-freiburg.de/ziegler/veranstaltungen/ss06-seminar.html

  

Inhalt:

Eine linear geordnete Struktur M heißt 0-minimal, wenn jede definierbare Teilmenge eine Vereinigung von endlich vielen Intervallen ist. Der Körper der reellen Zahlen zum Beispiel ist 0-minimal, und bleibt es, wenn man die Exponentialfunktion oder auf [0, 1] beschränkte analytische Funktionen hinzunimmt, oder zu elementaren Erweiterungen übergeht.

In seiner Arbeit Type-Definability ... hat Pillay vermutet, daß zu jeder M–definierbaren Gruppe auf kanonische Weise eine kompakte Lie-Gruppe gehört. Die Vermutung ist im letzten Jahr von Hruschovski, Peterzil und Pillay bewiesen worden. Ziel des Seminars ist das Studiums ihres Beweises.

yy Literatur:

  1. Pillay Type-Definability, compact Lie Groups and 0-Minimality J. Math. Logic 4, (2004), 147-162.
  2. E. Hrushovski, Y. Peterzil, A. Pillay Groups, Measures and the NIP. Preprint 2005 (Eine Kopie findet sich auf der Webseite des Seminars)

Typisches Semester:

6. Semester

Studienschwerpunkt:

Mathematische Logik

Nützliche Vorkenntnisse:

Logik, Modelltheorie

Folgeveranstaltungen:

Seminar über Modelltheorie

  

Sprechstunde Dozent:

nach Vereinbarung

[next] [prev] [prev-tail] [front] [up]