scientific article; zbMATH DE number 2020241
From MaRDI portal
Publication:4440912
zbMath1040.03031MaRDI QIDQ4440912
Publication date: 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantifier eliminationleading termsFrobenius automorphismresidue fieldsatomic theoryvalued group\(D\)-Henselian fieldsangular componentsmultisorted structuresvalued \(D\)-fields
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 (16)
Integer-valued difference rational functions over Witt vectors ⋮ Some remarks on \(D\)-valued field ⋮ \(T\)-convex \(T\)-differential fields and their immediate extensions ⋮ Decidability via the tilting correspondence ⋮ Pseudo-linear algebra over a division ring ⋮ Valued difference fields and \(\mathrm{NTP}_2\) ⋮ Quantifier elimination in linear difference equations over Witt vectors ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS ⋮ Difference equations in Witt vectors ⋮ A P-MINIMAL STRUCTURE WITHOUT DEFINABLE SKOLEM FUNCTIONS ⋮ Approximation for Frobenius algebraic equations in Witt vectors ⋮ Analytic cell decomposition and analytic motivic integration ⋮ Hensel minimality I ⋮ Diophantine problems over tamely ramified fields ⋮ Local André-Oort conjecture for the universal abelian variety
This page was built for publication:
