Displaying similar documents to “A result concerning meromorphic solutions in the unit disk of algebraic differential equations”

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.