Albert-Ludwigs-Universität Freiburg | |
Institut für mathematische Logik und Grundlagen der Mathematik |
Zeit: Mi 9 - 11
Ort: SR 318 Eckerstr. 1
Das Seminar beschäftigt sich mit streng minimalen Mengen: Das sind Strukturen, in denen jede definierbare Teilmenge endlich oder coendlich ist. Algebraisch abgeschlossene Körper sind z.B. streng minimal.
Der algebraische Abschluß gibt streng minimalen Mengen eine Matroidstruktur. Es sollen die Auswirkungen der Hypothese der lokalen Modularität auf die Modelltheorie streng minimaler Mengen untersucht werden.
Die von Hrushovski konstruierten Beispiele streng minimaler Mengen, die nicht lokal modular sind, aber keinen algebraisch abgeschlossenen Körper interpretieren, werden behandelt.
Voraussetzung: Kenntnisse in Modelltheorie.
Aus diesem Gebiet können Diplomarbeiten vergeben werden.