Publication:745876

DOI10.1007/S00029-015-0183-0zbMATH Open1334.12010arXiv1309.5751OpenAlexW1973527399MaRDI QIDQ745876FDOQ745876

Salih Durhan, Gönenç Onay

Publication date: 14 October 2015

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

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

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)

Cites Work

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

Cited In (6)

• Fields with automorphism and valuation
• Positive elimination in valued fields
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• On valued, complete fields and their automorphisms
• SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS
• Title not available (Why is that?)

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)