Quantifier elimination for valued fields equipped with an automorphism

Salih Durhan ^[1] ; Gönenç Onay ^[2]
1. [1] Middle East Technical University
  
  Middle East Technical University
  
  Turquía
2. [2] Mimar Sinan Güzel Sanatlar Üniversitesi
  
  Mimar Sinan Güzel Sanatlar Üniversitesi
  
  Turquía
Localización: Selecta Mathematica, New Series, ISSN 1022-1824, Vol. 21, Nº. 4, 2015, págs. 1177-1201
Idioma: inglés
DOI: 10.1007/s00029-015-0183-0
Enlaces
- Texto completo
Resumen
- We generalize and unify various tools from the study of valued fields equipped with an automorphism to obtain a relative quantifier elimination result for such fields. Along the way we point how the techniques we employ relate to a classical result from tropical geometry. The quantifier elimination result we provide is then applied to the transseries field equipped with the automorphism which sends f(x)f(x) to f(x+1)f(x+1) .