Théorème de préparation pour les fonctions logarithmico-exponentielles

Annales de l'Institut Fourier

Volumn 47, Issue 3, 1997, Pages 859-884

  Lion, J M ^a   Rolin, J P ^a  

^a UNIVERSITÉ DE BOURGOGNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039860837     PISSN: 03730956     EISSN: None     Source Type: Journal    
DOI: 10.5802/aif.1583     Document Type: Article

References (11)

1. S.S. ABHYANKAR, Algebraic geometry for scientists and engineers, Amer. Math. Soc., MSM 35 (1990).
2. J. DENEF, L. VAN DEN DRIES, p-adic and real subanalytic sets, Ann. of Maths, 128 (1988), 79-138.
3. L. VAN DEN DRIES, A. MACINTYRE et D. MARKER, The elementary theory of restricted anlytic fields with exponentiation, Annals of Maths, 140 (1994), 183-205.
4. A.M. GABRIELOV, Complements of subanalytic sets and existential formulas for analytic functions, Inventiones Mathematicae, 125 (1996), 1-12.
5. L. HÖRMANDER, An introduction to complex analysis in several variables, North-Holland, 1973.
6. H. HIRONAKA, M. LEJEUNE-JALABERT et B. TEISSIER, Platificateur local en géométrie analytique et aplatissement local, Astérisque, 7-8 (1973), 441-463.
7. C. MILLER, Expansions of the real field with power functions, Ann. Pure Appl. Logic, 68 (1994).
8. e série, 27 (1994), 661-696.
9. J.-P. RESSAYRE, Integer parts of real closed exponential fields, Arithmetic, Proof Theory and Computational Complexity, P. Clote and J. Krajicek, eds., Oxford University Press (1993), 278-288.
10. J.-C. TOUGERON, Paramétrisations de petits chemins en géométrie analytique réelle, preprint, Université de Rennes.
11. A.J. WILKIE, Model completeness results for expansions of real field II : The exponential function, preprint (1991).