Model theory of the Frobenius on the Witt vectors

DOI10.1353/ajm.2007.0018zbMath1121.03043MaRDI QIDQ5294011

Luc Bélair, Thomas J. Scanlon, Angus J. Macintyre

Publication date: 9 July 2007

Published in: American Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1353/ajm.2007.0018

zbMATH Keywords

decidability; Witt vectors; Frobenius automorphism; model-completeness; \(\sigma\)-Hensel scheme; theory of pseudoconvergence; valued fields with isometry

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

12L12: Model theory of fields

03C10: Quantifier elimination, model completeness, and related topics

12H10: Difference algebra

12J10: Valued fields

Related Items

Quantifier elimination in valued Ore modules, Valued modules on skew polynomial rings and Bézout domains, Lectures on the Model Theory of Valued Fields, SOME PROPERTIES OF ANALYTIC DIFFERENCE VALUED FIELDS, Toward a model theory for transseries, Valued difference fields and \(\mathrm{NTP}_2\), Strictly convergent analytic structures, Valued fields with contractive automorphism and Kaplansky fields, Quantifier elimination for valued fields equipped with an automorphism, Local André-Oort conjecture for the universal abelian variety, Quantifier elimination in linear difference equations over Witt vectors, Approximation for Frobenius algebraic equations in Witt vectors, Integer-valued difference rational functions over Witt vectors, Fields with automorphism and valuation, Isomonodromic differential equations and differential categories, Multiplicative valued difference fields, NON-ARCHIMEDEAN YOMDIN–GROMOV PARAMETRIZATIONS AND POINTS OF BOUNDED HEIGHT, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10, Witt vectors. Part 1, Elementary theory of valued fields with a valuation-preserving automorphism