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.

The theorem now hold for all valued field automorphisms and not just isometries. This is the final version. 56 pages

Cited by in corpus (13)

• Hensel minimality I
• Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
• Distributions and wave front sets in the uniform non-archimedean setting
• An example of a $P$-minimal structure without definable Skolem functions
• $T$-convex $T$-differential fields and their immediate extensions
• Residue field domination in some henselian valued fields
• Non-archimedean Yomdin-Gromov parametrizations and points of bounded height
• On Model Theory of Valued Vector Spaces
• Existential uniform $p$-adic integration and descent for integrability and largest poles
• Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
• Imaginaries in equicharacteristic zero henselian fields
• Monotone $T$-convex $T$-differential fields
• Nippy proofs of p-adic results of Delon and Yao