Isaac Newton Institute for Mathematical Sciences

Uniform first order definitions in finitely generated fields

16th June 2005

Author: Poonen, B (Berkeley)

Abstract

We construct a first order sentence that is true for all finitely generated fields of characteristic 0 and false for all finitely generated fields of positive characteristic. Also, for each n we construct a first order formula with n free variables that for any