On definability of valuations of finitely generated fields.
By Florian Pop
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.