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)

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)