Quantifier Elimination for Valued Fields Equipped with an Automorphism

2013/09/23 by Onay, Gönenç, Durhan, Salih · 1 citation
#03C60 #12L12 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1309.5751

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).

Cited by

• Automorphisms of valued fields: amalgamation and existential closedness

Related

• Quantifier elimination for quasi-real closed fields
• Equivalence of Valued Fields with Valuation Preserving Automorphism
• Model theory of valued fields with an endomorphism
• Quantifier elimination and minimality conditions in algebraically closed valued fields
• Automorphisms of valued fields: amalgamation and existential closedness