Full paper in PDF:
$%A. MacIntyre and D. Marker, A failure of quantifier elimination, Rev. Mat. Univ. Complut. Madrid 10 (1997), supplementary, 209216. %$

A Failure of Quantifier Elimination
Angus MACINTYRE and David MARKER

Oxford University
Oxford OXI 3LB — UK

University of Illinois at Chicago
Chicago IL 60607-7045 USA

ABSTRACT

We show that log  is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.

1991 Mathematics Subject Classification: 03C80, 11U09.