Zeiten der Vorlesung: Di+Mi 16-18 (erster Termin Di 14. April 2026, letzter Termin Mi 15. Juli 2026) * Lerninhalte: 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.

Times and dates: Tuesday + Wednesday 16-18 First session will take place on Tuesday, April 14th. Last session on Wednesday, July 15th. * Description: In the course we will treat central topics from the model theory of valued fields. We will cover both the classical theory (henselian valued fields in reside characteristic 0, the famous Ax-Kochen-Ershov transfer principle, Macintyre's quantifier elimination in p-adically closed fields) and also more recent results from geometric model theory, in particular on the theory ACVF of algebraically closed non-trivially valued fields (NIP, generically stable types). A main result is the classification of imaginaries in ACVF due to Haskell-Hrushovski-Macpherson, for which we will present Johnson's proof. The relevant results from algebra which we need will be provided at the beginning of the course.

Kurs im HIS-LSF