| 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
|
|
