Abstract. Abstract
We show that the complement of a subanalytic set defined by real analytic functions from any subalgebra closed under differentiation is a subanalytic set defined by the functions from the same subalgebra. This result has an equivalent formulation in logic: Consider an expression built from functions as above using equalities and inequalities as well as existential and universal quantifiers. Such an expression is equivalent to an existential expression involving functions from the same class, provided that the variables approach neither infinity nor the boundary of the domain.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Oblatum 17-VIII-1995
Rights and permissions
About this article
Cite this article
Gabrielov, A. Complements of subanalytic sets and existential formulas for analytic functions. Invent math 125, 1–12 (1996). https://doi.org/10.1007/s002220050066
Issue Date:
DOI: https://doi.org/10.1007/s002220050066