Seminar series
Date
Thu, 30 May 2013
Time
17:00 -
18:00
Location
L3
Speaker
Jochen Koenigsmann
Organisation
Oxford
Non-trivial henselian valuations are often so closely related to the arithmetic of the underlying field that they are encoded in it, i.e., that their valuation ring is first-order definable in the language of rings. In this talk, we will give a complete classification of all henselian valued fields of residue characteristic 0 that allow a (0-)definable henselian valuation. This requires new tools from the model theory of ordered abelian groups (joint work with Franziska Jahnke).