Tue, 30 Apr 2013
12:00
12:00
L3
From the holomorphic Wilson Loop, to dlog forms for Amplitudes and their integration
Arthur Lipstein
(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).