Multiplicative valued difference fields

DOI10.2178/jsl/1333566637zbMath1245.03056arXiv1011.1655OpenAlexW2964171304MaRDI QIDQ2892675

Koushik Pal

Publication date: 19 June 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

quantifier eliminationdifference fieldsvalued fieldsRV-structure

Mathematics Subject Classification ID

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

Related Items (6)

Model companion of ordered theories with an automorphism ⋮ Fields with automorphism and valuation ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ Quantifier elimination for valued fields equipped with an automorphism ⋮ Valued modules on skew polynomial rings and Bézout domains

Cites Work

• Valued fields with contractive automorphism and Kaplansky fields
• An isomorphism theorem for Henselian algebraic extensions of valued fields
• Elementary theory of valued fields with a valuation-preserving automorphism
• Existentially closed ordered difference fields and rings
• Model Theory
• Model theory of the Frobenius on the Witt vectors

This page was built for publication: Multiplicative valued difference fields