Apparaît dans la collection : 2018 - T1 - WS2 - Model theory and valued fields

Definability of (special classes of) valuations of finitely generated fields K is the key technical tool in solving the strong EEIP. We will show that the prime divisors of such fields K are uniformly definable, provided the Kronecker dimension satisfies Krdim(K) inf 4; and explain how this result could be used as a first step in a (quite complicated) inductive procedure on Krdim(K) in characteristic zero.