On some definable sets over fields with analytic structure (Q636299): Difference between revisions

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.