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

Jean-Marie Lion; Jean-Philippe Rolin

Annales de l'institut Fourier (1997)

  • Volume: 47, Issue: 3, page 859-884
  • ISSN: 0373-0956

Abstract

top
We give a geometric proof of the quantifier elimination theorem for logarithmico-exponential functions, already proved by van den Dries, Macintyre and Marker. Our proof does not make use of model theory arguments. It is based upon a preparation theorem for subanalytic functions.

How to cite

top

Lion, Jean-Marie, and Rolin, Jean-Philippe. "Théorème de préparation pour les fonctions logarithmico-exponentielles." Annales de l'institut Fourier 47.3 (1997): 859-884. <http://eudml.org/doc/75247>.

@article{Lion1997,
abstract = {Nous donnons une preuve géométrique du théorème d’élimination des quantificateurs pour les fonctions logarithmico-exponentielles prouvé initialement par van den Dries, Macintyre et Marker. Notre démonstration n’utilise pas de Théorie des Modèles. Elle repose sur un théorème de préparation pour les fonctions sous-analytiques.},
author = {Lion, Jean-Marie, Rolin, Jean-Philippe},
journal = {Annales de l'institut Fourier},
keywords = {semi-analytic sets; sub-analytic sets; exponential; logarithm; quantifier elimination; preparation theorem},
language = {fre},
number = {3},
pages = {859-884},
publisher = {Association des Annales de l'Institut Fourier},
title = {Théorème de préparation pour les fonctions logarithmico-exponentielles},
url = {http://eudml.org/doc/75247},
volume = {47},
year = {1997},
}

TY - JOUR
AU - Lion, Jean-Marie
AU - Rolin, Jean-Philippe
TI - Théorème de préparation pour les fonctions logarithmico-exponentielles
JO - Annales de l'institut Fourier
PY - 1997
PB - Association des Annales de l'Institut Fourier
VL - 47
IS - 3
SP - 859
EP - 884
AB - Nous donnons une preuve géométrique du théorème d’élimination des quantificateurs pour les fonctions logarithmico-exponentielles prouvé initialement par van den Dries, Macintyre et Marker. Notre démonstration n’utilise pas de Théorie des Modèles. Elle repose sur un théorème de préparation pour les fonctions sous-analytiques.
LA - fre
KW - semi-analytic sets; sub-analytic sets; exponential; logarithm; quantifier elimination; preparation theorem
UR - http://eudml.org/doc/75247
ER -

References

top
  1. [A] S.S. ABHYANKAR, Algebraic geometry for scientists and engineers, Amer. Math. Soc., MSM 35 (1990). Zbl0709.14001MR92a:14001
  2. [DD] J. DENEF, L. VAN DEN DRIES, p-adic and real subanalytic sets, Ann. of Maths, 128 (1988), 79-138. Zbl0693.14012MR89k:03034
  3. [DMM] 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. Zbl0837.12006MR95k:12015
  4. [G] A.M. GABRIELOV, Complements of subanalytic sets and existential formulas for analytic functions, Inventiones Mathematicae, 125 (1996), 1-12. Zbl0851.32009MR97h:32007
  5. [H] L. HÖRMANDER, An introduction to complex analysis in several variables, North-Holland, 1973. Zbl0271.32001
  6. [HLT] H. HIRONAKA, M. LEJEUNE-JALABERT et B. TEISSIER, Planificateur local en géométrie analytique et aplatissement local, Astérisque, 7-8 (1973), 441-463. Zbl0287.14007
  7. [M] C. MILLER, Expansions of the real field with power functions, Ann. Pure Appl. Logic, 68 (1994). Zbl0823.03018MR95i:03081
  8. [P] A. PARUSIŃSKI, Lipschitz stratification of subanalytic sets, Ann. Scient. École Normale Supérieure, 4e série, 27 (1994), 661-696. Zbl0819.32007MR96g:32017
  9. [R] 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. Zbl0791.03018MR1236467
  10. [T] J.-C. TOUGERON, Paramétrisations de petits chemins en géométrie analytique réelle, preprint, Université de Rennes. Zbl0852.32006
  11. [W] A.J. WILKIE, Model completeness results for expansions of real field II: The exponential function, preprint (1991). 

Citations in EuDML Documents

top
  1. Wiesław Pawłucki, Artur Piękosz, A remark on the Lion-Rolin Preparation Theorem for LA-functions
  2. A. Agrachev, B. Bonnard, M. Chyba, I. Kupka, Sub-riemannian sphere in Martinet flat case
  3. Daniel Panazzolo, Tame semiflows for piecewise linear vector fields
  4. Artur Piękosz, Extending analyticK-subanalytic functions
  5. Krzysztof Kurdyka, On gradients of functions definable in o-minimal structures
  6. Bernard Bonnard, Monique Chyba, Méthodes géométriques et analytiques pour étudier l'application exponentielle, la sphère et le front d'onde en géométrie sous-riemannienne dans le cas Martinet
  7. Artur Piękosz, K-subanalytic rectilinearization and uniformization
  8. Bernard Bonnard, Monique Chyba, Méthodes géométriques et analytiques pour étudier l'application exponentielle, la sphère et le front d'onde en géométrie sous-riemannienne dans le cas Martinet
  9. Jean-Marie Lion, Préparation des fonctions sous-analytiques globales et lieu d'analyticité
  10. Jean-Marie Lion, Jean-Philippe Rolin, Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.