Uni 
HH Logo

Seminar über Modelltheorie
WS 2015/16
Universität Hamburg
Fachbereich Mathematik

LV-Nummer (Modul Ma-M-S) 65-226
Veranstalter: Prof. Dr. Benedikt Löwe, email: bloewe@science.uva.nl
Inhalt:

Das Thema dieses Seminars ist Quantorenelimination für algebraische Theorien. Das Seminar folgt Kapitel 3 des Buchs von David Marker, Model Theory.

Anforderungen: Alle Teilnehmer halten einen neunzigminütigen Vortrag, nehmen aktiv an den anderen Vortägen teil und fertigen zudem eine schriftliche Ausarbeitung ihres Themas an.
Teilnehmer: Alexander Block, Jürgen Gerland, Yurii Khomskii, Jean Maximilian Teegen, Wolfgang Wohofsky.
Ort und Zeit: Das Seminar wird als Blockveranstaltung am 19. Januar 2016 stattfinden. Der erste Vortrag findet in Raum 233 statt, die Nachmittagsvorträge in Raum 415.
Zeitplan:
VORTRAG 1
10:30-12:00 (Raum 233)
Grundlagen und Motivation. (Abschnitt 2.2 und 3.1, S. 71-75).
Yurii Khomskii & Wolfgang Wohofsky
12:00-13:30 Mittagspause
VORTRAG 2
13:30-15:00 (Raum 415)
Divisible Gruppen, geordnete divisible Gruppen und Presburger-Arithmetik. (Abschnitt 3.1, S. 75-84).
Jürgen Gerland
15:00-15:15 Pause
VORTRAG 3
15:15-16:45 (Raum 415)
Algebraisch abgeschlossene Körper. (Abschnitt 3.2, S. 84-93).
Jean Maximilian Teegen
16:45-17:00 Pause
VORTRAG 4
17:00-18:30 (Raum 415)
Reell abgeschlossene Körper. (Abschnitt 3.3, S. 93-98).
Alexander Block

Last changed: 15 December 2015