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

A Failure of Quantifier Elimination
Angus MACINTYRE and David MARKER

Oxford University
Oxford OXI 3LB — UK

ajm@maths.oxford.ac.uk

University of Illinois at Chicago
Chicago IL 60607-7045 — USA

marker@tarski.math.uic.edu

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.