Model theory of the Frobenius on the Witt vectors (2007)
Bélair, Luc., Scanlon, Thomas.
American Journal of Mathematics - Volume 129, Number 3, June 2007
Luc Bélair, Angus Macintyre, Thomas Scanlon
Abstract. 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...
Model theory of the Frobenius on the Witt vectors (2002)
Luc Bélair, Angus Macintyre, Thomas Scanlon
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...