Veranstaltungen
Veranstaltungen der Fakultät für Mathematik
Definierbare henselsche Bewertungsringe, als obsgua
Termin
27.11.2014, 16:15 Uhr -
Veranstaltungsort
E 23
Abstract
In dem Vortrag werden wir uns mit (henselsch) bewerteten Körpern (K,B)
beschäftigen, deren Bewertungsring B schon durch die arthmetischen
Eigenschaften von K eindeutig festgelegt ist (also z.B. unter
Automorphismen von K alleine invariant sind). Dies liegt meistens
daran,dass B durch eine arithmetische Formel F, ohne Parameter, explizit
definiert werden kann. Die Existenz einer solchen Formel F lässt sich mit
einem verblüffend einfachen Lemma aus der Modelltheorie nachweisen. Wir
werden dies z.B. für die Klasse aller lokalen Körper zeigen, wobei
erstaunlicherweise die Formel F für alle lokalen Körper die gleiche ist.
Analoges gilt auch für lokale Körper höherer Dimension.
Vortragende(r)
Prof. Dr. Alexander Prestel
Herkunft der/des Vortragenden
Universität Konstanz