A failure of quantifier elimination. Angus Macintyre, David Marker (1997) Revista Matemática de la Universidad Complutense de Madrid We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
A remark on Ax's theorem on solvability modulo primes. Lou van den Dries (1991) Mathematische Zeitschrift