Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

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