Quantifier elimination for valued fields equipped with an automorphism

DOI10.1007/S00029-015-0183-0MaRDI QIDQ745876zbMATH OpenOpenAlexFDO

Authors Salih Durhan, Gönenç Onay

Publication date 14 October 2015

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1309.5751

zbMATH Keywords

model theoryvaluation theoryvalued difference fields

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

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

Recommendations

• scientific article; zbMATH DE number 2020241
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Quantifier elimination for quasi-real closed fields
• Quantifier elimination in valued Ore modules
• 0-D-valued fields

Cites work

• An isomorphism theorem for Henselian algebraic extensions of valued fields
• Elementary theory of valued fields with a valuation-preserving automorphism
• scientific article; zbMATH DE number 3499907 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• Maximal fields with valuations
• Meta-expansion of transseries
• Model theory of the Frobenius on the Witt vectors
• Multiplicative valued difference fields
• Non-archimedean amoebas and tropical varieties
• Transseries and real differential algebra
• Valued difference fields and \(\mathrm{NTP}_2\)
• Valued fields with contractive automorphism and Kaplansky fields

Cited in

(10)

• Fields with automorphism and valuation
• scientific article; zbMATH DE number 3935016 (Why is no real title available?)
• scientific article; zbMATH DE number 2020241 (Why is no real title available?)
• Quantifier elimination in valued Ore modules
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• Some properties of analytic difference valued fields
• Un principe d'Ax-Kochen-Ershov imaginaire
• Model theory of valued fields with an endomorphism
• On valued, complete fields and their automorphisms
• Positive elimination in valued fields

This page was built for publication: Quantifier elimination for valued fields equipped with an automorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q745876)