Fields with analytic structure (Q550568): Difference between revisions

In this article, the authors present and investigate the notion of \textit{analytic structure}. Their aim is to include several different works into a common global axiomatic framework. Such an analytic structure is essentially the interpretation as functions in the various contexts of the analytic structure of a \textit{Weierstrass system}, i.e., roughly a family of algebras of convergent generalized power series admitting Weierstrass division. The authors show that real closed fields endowed with such an analytic structure have quantifier elimination and are o-minimal, resuming and generalizing prior results of Denef-van den Dries, van den Dries-Macintyre-Marker and of their own. They also state that algebraically closed valued fields with analytic structure admit quantifier elimination, as is shown in prior works of the second author and Z. Robinson. Henselian valued fields carry naturally an analytic structure: the one corresponding to algebraic power series. Artin approximation works for them in this context, following previous papers of Denef-Lipshitz and of S. Bosch. In this context, the authors prove also Mittag-Leffler-type results, generalizing some of the works of van den Dries-Haskell-Macpherson and of Fresnel-van der Put, by adapting to their context results of Bosch-Güntzer-Remmert. Finally, they prove b-minimality for Henselian valued fields, from which follows cell decomposition and dimension theory (see Cluckers-Loeser).