Model theory of the Frobenius on the Witt vectors

• Autores: Luc Bélair, Angus Macintyre, Thomas Scanlon
• Localización: American journal of mathematics, ISSN 0002-9327, Vol. 129, Nº 3, 2007, págs. 665-722
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We give axiomatizations and prove quantifier elimination theorems for first-order theories of unramified valued fields with an automorphism having a close interaction with the valuation. We achieve an analogue of the classical Ostrowski theory of pseudoconvergence. In the outstanding case of Witt vectors with their Frobenius map, we use the ?-ring formalism from Joyal.