Some properties of analytic difference fields
Abstract
We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are $\sigma$-Henselian. From this result we can deduce various Ax-Kochen-Ersov type results with respect to completeness and the NIP property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first order theory and that this theory is NIP.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2014
- DOI:
- 10.48550/arXiv.1401.1765
- arXiv:
- arXiv:1401.1765
- Bibcode:
- 2014arXiv1401.1765R
- Keywords:
-
- Mathematics - Logic
- E-Print:
- The theorem now hold for all valued field automorphisms and not just isometries. This is the final version. 56 pages