Die Vorlesung behandelt zentrale Themen aus der Modelltheorie bewerteter Körper. Auf dem Programm stehen sowohl die klassische Theorie (henselsch bewertete Körper in Restklassencharakteristik 0, das berühmte Transfer-Prinzip von Ax-Kochen-Ershov, Macintyres Quantorenelimination in p-adisch abgeschlossenen Körpern) als auch neuere Resultate aus der geometrischen Modelltheorie insbesondere in der Theorie ACVF nichttrivial bewerteter algebraisch abgeschlossener Körper (NIP, generisch stabile Typen). Ein Hauptresultat ist die Imaginärenklassifikatikon in ACVF durch Haskell-Hrushovski-Macpherson, für die Johnsons Beweis gegeben wird.
Die benötigten Resultate aus der Algebra werden zu Beginn der Vorlesung bereitgestellt.
- Lehrende/r: Martin Hils
Semester: ST 2019