The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Programme

Model Theory and Applications to Algebra and Analysis

Galois axioms for fields

23rd March 2005

Author: Koenigsmann, J (Freiburg)


I will sketch the proof of a new result in birational anabelian geometry: Almost any perfect field K is determined up to isomorphism by the absolute Galois group of th rational function field K(t) over K. This gives rise to an axiomatization of the elementary theory of K by axiomatizing the complete system of finite quotients of this absolute Galois group. As application, I will indicate consequences for the decidability of the perfect hull of F_p((t)).