Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function

Journal of Symbolic Logic

Volumn 62, Issue 4, 1997, Pages 1173-1178

  Bianconi, Ricardo ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031320220     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275634     Document Type: Article

References (9)

1. J. AX, On Schanuel's conjectures, Annals of Mathematics, vol. 93 (1971), pp. 252-268.
2. R. BIANCONI, On sets ∀-definable from Pfaffian functions, this JOURNAL, vol. 57 (1992), pp. 688-697.
3. _, Some model theory for the reals with analytic functions, Proceedings of the Tenth Brazilian Conference on Mathematical Logic, EBL93, Coleção CLE (Brazil), vol. 14, UNICAMP, 1995, pp. 61-71.
4. A. MACINTYRE, Notes on exponentiation, 1984, mimeographed notes from a course given at Urbana, Ill.
5. _, Schanuel's conjecture and free exponential rings. Annals of Pure and Applied Logic, vol. 51 (1991), pp. 241-246.
6. L. VAN DEN DRIES, A generalization of Tarski-Seidenberg theorem and some nondefinability results, Bulletin of the AMS, vol. 15 (1986), pp. 189-193.
7. _, On the elementary theory of restricted elementary functions, this JOURNAL, vol. 53 (1988), pp. 796-808.
8. L. VAN DEN DRIES and C. MILLER, On the real exponential field with restricted analytic functions, Israel Journal of Mathematics, vol. 85 (1994), pp. 19-58.
9. A. J. WILKIE, Model completeness results for expansions of the ordered field of real numbers by Pfaffian functions and the exponential function, to appear.