Page 1

Displaying 1 – 5 of 5

Showing per page

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.

Currently displaying 1 – 5 of 5

Page 1