Model theory of the Frobenius on the Witt vectors
From MaRDI portal
Publication:5294011
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
decidabilityWitt vectorsFrobenius automorphismmodel-completeness\(\sigma\)-Hensel schemetheory of pseudoconvergencevalued fields with isometry
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
