Quantifier elimination for valued fields equipped with an automorphism
Selecta Mathematica, New Series, vol.21, no.4, pp.1177-1201, 2015 (SCI-Expanded, Scopus)
- Publication Type: Article / Article
- Volume: 21 Issue: 4
- Publication Date: 2015
- Doi Number: 10.1007/s00029-015-0183-0
- Journal Name: Selecta Mathematica, New Series
- Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
- Page Numbers: pp.1177-1201
- Keywords: Model theory, Valuation theory, Valued difference fields
- Galatasaray University Affiliated: No
Abstract
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 (Formula pressented.).