scientific article; zbMATH DE number 2020241

MaRDI QIDQ4440912zbMATH OpenFDO

Authors T. J. Scanlon

Publication date 2003

zbMATH Keywords

\(D\)-Henselian fieldsangular componentsatomic theoryFrobenius automorphismleading termsmultisorted structuresquantifier eliminationresidue fieldsvalued \(D\)-fieldsvalued group

Mathematics Subject Classification ID

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

Review text

The author investigates the theory of discretely valued fields with an additional unary operation which generalizes both derivations and difference operators (called \(D\)-fields). The author uses as the base language a multisorted first-order signature with distinguished sort symbols for the main field, value group, residue field, group of leading terms and iterated residue rings. In order to generalize his previous results [J. Symb. Log. 65, No. 4, 1758--1784 (2000; Zbl 0977.03021)] and known results of Ax-Kochen-Ershov for the wider classes of \(D\)-fields, the author had to modify the axiomatization of such fields that was proposed before. The new axiomatization helped the author to make a synthesis of the technique of additive and multiplicative congruences used by \textit{F.-V. Kuhlmann} [Isr. J. Math. 85, No. 1--3, 277--306 (1994; Zbl 0809.03028)] and his own effective technique used in his paper cited above. So it became possible to obtain the main result of the paper, namely to prove quantifier elimination for \(D\)-Henselian fields \((K,v,\sigma)\), where \((K,v)\) is a complete discretely valued field of characteristic zero with an algebraically closed residue field of positive characteristic, and \(\sigma\colon K\rightarrow K\) is a continuous automorphism of \(K\) inducing a Frobenius automorphism on the residue field. For the entire collection see [Zbl 1021.00011].

Recommendations

• 0-D-valued fields
• Quantifier elimination for valued fields equipped with an automorphism
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION
• A model complete theory of valued D-fields
• Relative decidability and definability in Henselian valued fields

Cited in

(24)

• Approximation for Frobenius algebraic equations in Witt vectors
• Imaginaries and invariant types in existentially closed valued differential fields
• Difference equations in Witt vectors
• Integer-valued difference rational functions over Witt vectors
• Diophantine problems over tamely ramified fields
• Eliminating components in Quillen's conjecture
• Pseudo-linear algebra over a division ring
• \(T\)-convex \(T\)-differential fields and their immediate extensions
• A model complete theory of valued D-fields
• Separably closed fields and contractive Ore modules
• Multiplicative valued difference fields
• ON DIFFERENCE FIELDS WITH QUANTIFIER ELIMINATION
• Analytic cell decomposition and analytic motivic integration
• Valued difference fields and \(\mathrm{NTP}_2\)
• A \(p\)-minimal structure without definable Skolem functions
• Some properties of analytic difference valued fields
• Hensel minimality I
• Decidability via the tilting correspondence
• Residue field domination in some Henselian valued fields
• Un principe d'Ax-Kochen-Ershov imaginaire
• Quantifier elimination for valued fields equipped with an automorphism
• Local André-Oort conjecture for the universal abelian variety
• Some remarks on D-valued field
• Quantifier elimination in linear difference equations over Witt vectors

This page was built for publication:

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