Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 629

Preprint Number 629

Previous Next Preprint server

629. Gönenç Onay, Salih Durhan
Quantifier Elimination for Valued Fields Equipped with an Automorphism

Submission date: 23 September 2013.


We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism and the valuation. We remove such assumptions and provide general treatment. As a consequence we obtain an axiomatization of the transseries field (as a valued field with an automorphism) equipped with the automorphism which sends f(x) to f(x+1).

Mathematics Subject Classification: 03C60, 12L12

Keywords and phrases:

Full text arXiv 1309.5751: pdf, ps.

Last updated: October 2 2013 09:58 Please send your corrections to: