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

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

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

• scientific article; zbMATH DE number 3499907 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• An isomorphism theorem for Henselian algebraic extensions of valued fields
• Elementary theory of valued fields with a valuation-preserving automorphism
• 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

(8)

• scientific article; zbMATH DE number 3935016 (Why is no real title available?)
• Fields with automorphism and valuation
• Some properties of analytic difference valued fields
• Positive elimination in valued fields
• scientific article; zbMATH DE number 2020241 (Why is no real title available?)
• Quantifier elimination in valued Ore modules
• On valued, complete fields and their automorphisms
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure

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)