| Model theory of the Frobenius on the Witt vectors (2002) | |||||||||||||||
Abstract | |||||||||||||||
| We give axiomatizations and quantifier eliminations for first-order theories of finitely ramified 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. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||