The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Łojasiewicz inequalities for sets definable in the structure exp

A failure of quantifier elimination.

Angus Macintyre, David Marker (1997)

Revista Matemática de la Universidad Complutense de Madrid

Similarity:

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