On some definable sets over fields with analytic structure
The paper concerns the geometric study of definable sets in non-Archimedean valued fields with analytic structure. The author starts by recalling the main definitions that appear in the rest of the paper; the most important one of them being the definition of an ``analytic structure on a valued field, following \textit{L. van den Dries} [Contemp. Math. 131, Pt.~3, 379--398 (1992; Zbl 0835.03004)]. The first result is a stratification of sets defined by quantifier-free formulas in the analytic language. The main virtue of this stratification is that it is uniform in the parameters. Then the author develops some dimension theory, defining several different notions of dimension for sets definable in the analytic language. Later he proves that these notions coincide for sets defined by quantifier-free formulas. Using the dimension technique, he also finds a bound on the piece number of quantifier-free formulas, again uniformly in the parameters. Finally, some of the results are generalized to certain expansions of non-Archimedean valued fields with analytic structure.
- Strictly convergent analytic structures
- Fields with analytic structure
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
- Definability in non-Archimedean geometry
- scientific article; zbMATH DE number 1300140
- scientific article; zbMATH DE number 65651
- A closedness theorem over Henselian fields with analytic structure and its applications
- On the quantifier complexity of definable canonical Henselian valuations
- Definability in o-minimal expansions of the real numbers
- Recent progress on definability of Henselian valuations
- p-adic and real subanalytic sets
- Algebraic properties of separated power series
- Analytic cell decomposition and analytic motivic integration
- Constructible motivic functions and motivic integration
- Die Beschränktheit der Stückzahl der Fasern K-analytischer Abbildungen.
- Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
- Fields with analytic structure
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 125222 (Why is no real title available?)
- scientific article; zbMATH DE number 755463 (Why is no real title available?)
- scientific article; zbMATH DE number 1420848 (Why is no real title available?)
- One-Dimensional p -Adic Subanalytic Sets
- One-dimensional fibers of rigid subanalytic sets
- Parameterized stratification and piece number of D-semianalytic sets
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
- Rigid Subanalytic Sets
- VC density of definable families over valued fields
- Definable functions and stratifications in power-bounded \(T\)-convex fields
- Non-Archimedean Whitney stratifications
- scientific article; zbMATH DE number 1359258 (Why is no real title available?)
- Canonical forms for definable subsets of algebraically closed and real closed valued fields
- A strict Positivstellensatz for rings of definable analytic functions
- A closedness theorem over Henselian fields with analytic structure and its applications
- Definable sets of Berkovich curves
- Strictly convergent analytic structures
- Non-Archimedean stratifications of tangent cones
- Definability in non-Archimedean geometry
- Parameterized stratification and piece number of D-semianalytic sets
- Fields with analytic structure
- Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
- Dimension of definable sets, algebraic boundedness and Henselian fields
This page was built for publication: On some definable sets over fields with analytic structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636299)
