Complements of subanalytic sets and existential formulas for analytic functions
The author is the same person who started, even before Hironaka, the theory of subanalytic sets in 1968 [the author, Funct. Anal. Appl. 2, 282-291 (1968); translation from Funkts. Anal. Prilozh. 2, No. 4, 18-30 (1968; Zbl 0179.08503)]. In the cited paper he proved, among other things, the essential result: the complement of a subanalytic set in \(\mathbb{R}^n\) is subanalytic. Now he proves the same result for the subanalytic sets described by a subalgebra of analytic functions, closed under differentiation. The translation into the logic is given, too. Needless to say, such a result is not easy to obtain and the author uses the newest developments (like \textit{A. G. Khovanskij} [`Fewnomials' (1991; Zbl 0728.12002)], for example). The paper is short and well written.
- An o-minimal structure which does not admit C^ cellular decomposition
- A general model completeness result for expansions of the real ordered field
- Betti numbers of semi-Pfaffian sets
- Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)
- Complexity lower bounds for computation trees with elementary transcendental function gates
- Closure and connected component of a planar global semianalytic set defined by analytic functions definable in o-minimal structure
- Complexity of stratifications of semi-Pfaffian sets
- How to avoid a compact set
- On damped second-order gradient systems
- A generic condition implying o-minimality for restricted \(C^\infty\)-functions
- On some global semianalytic sets
- Model completeness in o-minimal polynomially bounded structures
- Analytic functions and Nash functions along curves
- Two remarks on polynomially bounded reducts of the restricted analytic field with exponentiation
- Local interdefinability of Weierstrass elliptic functions
- Fusing o-minimal structures
- On the elementary theory of restricted real and imaginary parts of holomorphic functions
- Quasianalytic Denjoy-Carleman classes and o-minimality
- Course on Non-oscillatory Trajectories
- Pfaffian sets and O-minimality
- Quantifier elimination and rectilinearization theorem for generalized quasianalytic algebras
- A preparation theorem for Weierstrass systems
- Complexity of cylindrical decompositions of sub-Pfaffian
- The theorem of the complement for nested sub-Pfaffian sets
- Singular perturbation in heavy ball dynamics
- Nondefinability results for elliptic and modular functions
- A variational approach for joint image recovery and feature extraction based on spatially varying generalised Gaussian models
- The gradient's limit of a definable family of functions admits a variational stratification
- A normal map-based proximal stochastic gradient method: convergence and identification properties
This page was built for publication: Complements of subanalytic sets and existential formulas for analytic functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1914830)
