Fiche du document
- handle: 10670/1.onm7mc
- Bélair, Luc; Macintyre, Angus et Scanlon, Thomas (2007). « Model theory of the Frobenius on the Witt vectors ». American Journal of Mathematics, 129(3), pp. 665-672.
Ce document est lié à :
http://archipel.uqam.ca/1505/
Ce document est lié à :
http://muse.jhu.edu/journals/american_journal_of_m [...]
Sujets proches
ResultantsCiter ce document
Luc Bélair et al., « Model theory of the Frobenius on the Witt vectors », UQAM Archipel : articles scientifiques, ID : 10670/1.onm7mc
Métriques
Partage / Export
Résumé
: 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.