Model theory of the Frobenius on the Witt vectors

DOI10.1353/ajm.2007.0018zbMath1121.03043OpenAlexW2091741226MaRDI 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

decidabilityWitt vectorsFrobenius automorphismmodel-completeness\(\sigma\)-Hensel schemetheory of pseudoconvergencevalued fields with isometry

Mathematics Subject Classification ID

Related Items (20)

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

This page was built for publication: Model theory of the Frobenius on the Witt vectors