scientific article; zbMATH DE number 2020241

MaRDI QIDQ4440912zbMATH OpenFDO

Authors T. J. Scanlon

Publication date 2003

zbMATH Keywords

Frobenius automorphismresidue fieldsquantifier eliminationleading termsatomic theoryvalued group\(D\)-Henselian fieldsangular componentsmultisorted structuresvalued \(D\)-fields

Mathematics Subject Classification ID

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

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

(23)

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