Inventiones mathematicae

, Volume 125, Issue 1, pp 1-12

First online:

Complements of subanalytic sets and existential formulas for analytic functions

  • Andrei GabrielovAffiliated withDepartment of Mathematics, Purdue University, West Lafayette, IN 47907-1395, USA; e-mail: agabriel@

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.