Model theory of the Frobenius on the Witt vectors
From MaRDI portal
Publication:5294011
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
decidability; Witt vectors; Frobenius automorphism; model-completeness; \(\sigma\)-Hensel scheme; theory of pseudoconvergence; valued fields with isometry
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