Quantifier Elimination for Valued Fields Equipped with an Automorphism
Logic
2013-09-24 v1
Abstract
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).
Keywords
Cite
@article{arxiv.1309.5751,
title = {Quantifier Elimination for Valued Fields Equipped with an Automorphism},
author = {Gönenç Onay and Salih Durhan},
journal= {arXiv preprint arXiv:1309.5751},
year = {2013}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1011.1655 by other authors