Some properties of analytic difference valued fields
From MaRDI portal
Abstract: We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are -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 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.
Recommendations
Cites work
- p-adic and real subanalytic sets
- A model complete theory of valued D-fields
- An isomorphism theorem for Henselian algebraic extensions of valued fields
- Analytic cell decomposition and analytic motivic integration
- Analytic difference rings
- b-MINIMALITY
- Diophantine Problems Over Local Fields I
- Euler characteristic of primitive T-hypersurfaces and maximal surfaces
- Fields with analytic structure
- scientific article; zbMATH DE number 125222 (Why is no real title available?)
- scientific article; zbMATH DE number 2020241 (Why is no real title available?)
- scientific article; zbMATH DE number 1450828 (Why is no real title available?)
- Integration in valued fields
- Model theory of the Frobenius on the Witt vectors
- Multiplicative valued difference fields
- On definable subsets of p-adic fields
- On the angular component map modulo P
- One-Dimensional p -Adic Subanalytic Sets
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences
- Quantifier elimination for valued fields equipped with an automorphism
- Relative elimination of quantifiers for Henselian valued fields
- Rigid Subanalytic Subsets of Curves and Surfaces
- Strictly convergent analytic structures
- The Theory of Ordered Abelian Groups does not have the Independence Property
- Topological differential fields
- Toward a model theory for transseries
- Types in valued fields with coefficient maps
- Uniform p-adic cell decomposition and local zeta functions.
- Uniform properties of rigid subanalytic sets
- Valued fields with contractive automorphism and Kaplansky fields
Cited in
(24)- Types in valued fields with coefficient maps
- Imaginaries and invariant types in existentially closed valued differential fields
- Uniform Yomdin-Gromov parametrizations and points of bounded height in valued fields
- \(T\)-convex \(T\)-differential fields and their immediate extensions
- Integration of functions of motivic exponential class, uniform in all non-Archimedean local fields of characteristic zero
- Eliminating field quantifiers in strongly dependent henselian fields
- Distributions and wave front sets in the uniform non-archimedean setting
- A \(p\)-minimal structure without definable Skolem functions
- Distality in valued fields and related structures
- Strictly convergent analytic structures
- Model theory of the Frobenius on the Witt vectors
- Analytic difference rings
- Hensel minimality I
- Burden in Henselian valued fields
- Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022
- Residue field domination in some Henselian valued fields
- Mekler's construction and Murphy's law for 2-nilpotent groups
- Un principe d'Ax-Kochen-Ershov imaginaire
- Existential uniform p-adic integration and descent for integrability and largest poles
- Monotone T-convex T-differential fields
- Beautiful pairs
- Relative model completeness of Henselian valued fields with finite ramification and various value groups
- Imaginaries in equicharacteristic zero henselian fields
- Model theory of valued fields with an endomorphism
This page was built for publication: Some properties of analytic difference valued fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5738183)
