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.
Sousa Pinto, J. (1993)
Portugaliae mathematica
Similarity:
Paolo Acquistapace, Brunello Terreni (1987)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Andrea Schiaffino (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Rubio, G., Jódar, L. (1991)
Portugaliae mathematica
Similarity:
Chang Eon Shin, Ryu Ji Hyun (1999)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
S. Zaidman (1976)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
A. C. Reeves (1995)
Diagrammes
Similarity:
Melnikov, Max Y., Melnikov, Yuri A. (2007)
Electronic Journal of Differential Equations (EJDE) [electronic only]
Similarity: