Inventiones mathematicae

, Volume 125, Issue 1, pp 1–12

Complements of subanalytic sets and existential formulas for analytic functions

  • Andrei Gabrielov

DOI: 10.1007/s002220050066

Cite this article as:
Gabrielov, A. Invent math (1996) 125: 1. doi:10.1007/s002220050066

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.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Andrei Gabrielov
    • 1
  1. 1.Department of Mathematics, Purdue University, West Lafayette, IN 47907-1395, USA; e-mail: agabriel@ math.purdue.eduUS