E 23

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.

Prof. Dr. Alexander Prestel

Universität Konstanz