Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
Andrew O.M. Wilkie · Journal of the American Mathematical Society · 1996
Recall that a subset of Rn is called semi-algebraic if it can be represented as a (finite) boolean combination of sets of the form {α ∈ R n: p(α) = 0}, {α ∈ R n: q(α)> 0} where p(x), q(x) aren-variable polynomials with real coefficients. A map from R n to R m is called semi-algebraic if its graph, considered