Nous disons que S admet une C-paramétrisation s'il existe une famille (a i ) i=1..n de C p telle que nous avons l'´ equivalence suivante : M (x 1, Définition 5.6 Soit S ,
Reprenons la définition 5.4 d'un ensemble C-trivial. Il s'agit d'un procédé constructif commençant par les quadrants, Il existe donc r ? (0, ?) n tel que ,
n i ), ?) On sait que la dimension d'un tel quadrant estégaleestégale au cardinal de l'ensemble {i; ? i = 0}. Or, on a vu que dim N ? n, on en conclut qu'il existe i 0 On considère l'ensemble : J r = (?r 1 ; r 1 ) ×, ) × ... × (?r n+1 ,
i 0 ? 1}, on définit l'application a i , pour tout (u 1 , ..., u n ) ? J r , par : Si ? i = ?1, On va distinguer trois cas pour définir nos applications ,
u n ) = u i si u i > 0 et a i ,
n + 1}, on définit l'application a i par, pour tout (u 1 , ..., u n ) ? J r : Si ? i = ?1 ,
Sur la généralisation du prolongement analytique, C. R. Acad. Sci, vol.130, pp.1115-1118, 1900. ,
Les fonctions quasi-analytiques, 1926. ,
Weierstrass division in quasianalytic local rings, Canad, J. Math, vol.28, issue.5, pp.938-953, 1976. ,
DOI : 10.4153/cjm-1976-091-7
An introduction to o-minimal geometry, Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica, 2000. ,
p-adic and Real Subanalytic Sets, The Annals of Mathematics, vol.128, issue.1, pp.79-138, 1988. ,
DOI : 10.2307/1971463
Sur les fonctions quasi-analytiques de la variable réelle, C. R. Acad. Sci. Paris, vol.123, pp.1320-1322, 1921. ,
Remarks on Tarski's problem concerning, Logic colloquium '82, pp.97-121, 1982. ,
The Elementary Theory of Restricted Analytic Fields with Exponentiation, The Annals of Mathematics, vol.140, issue.1, pp.183-205, 1994. ,
DOI : 10.2307/2118545
The field of reals with multisummable series and the exponential function, Proc. London Math. Soc. (3), pp.513-565, 2000. ,
Complements of subanalytic sets and existential formulas for analytic functions, Inventiones Mathematicae, vol.125, issue.1, pp.1-12, 1996. ,
DOI : 10.1007/s002220050066
Modèle complétude des structures o-minimales polynomialement bornées, 2006. ,
Esquisse d'un programme Geometric Galois actions, 1, London Math, Soc. Lecture Note Ser, vol.242, pp.5-48, 1997. ,
Sur la generalisation de la notion de fonction analytique, Bull. Soc. Math. France, vol.40, pp.28-29, 1912. ,
Introduction to real-analytic sets and real-analytic maps, Istituto, 1973. ,
Volumes, feuilles de Rolle de feuilletages analytiques et th??or??me de Wilkie, Annales de la facult?? des sciences de Toulouse Math??matiques, vol.7, issue.1, pp.93-112, 1998. ,
DOI : 10.5802/afst.891
A Preparation Theorem for Weierstrass Systems, Transactions of the american mathematical society, vol.358, issue.10, pp.4393-4439, 2006. ,
Th??or??mes de finitude pour les vari??t??s pfaffiennes, Annales de l???institut Fourier, vol.42, issue.1-2, pp.393-420, 1992. ,
DOI : 10.5802/aif.1297
On functions of several complex variables, Trans. Amer. Math. Soc, vol.17, issue.1, pp.1-8, 1916. ,
Quasi-analycité, o-minimalité etéliminationetélimination des quantificateurs , Thèse de l, Université Paris, vol.7, 2005. ,
Quasianalytic Denjoy-Carleman classes and o-minimality, Journal of the American Mathematical Society, vol.16, issue.04, pp.751-777, 2003. ,
DOI : 10.1090/S0894-0347-03-00427-2
A New Decision Method for Elementary Algebra, The Annals of Mathematics, vol.60, issue.2, pp.60-365, 1954. ,
DOI : 10.2307/1969640
A Decision Method for Elementary Algebra and Geometry, 1951. ,
DOI : 10.1007/978-3-7091-9459-1_3
MODEL COMPLETENESS RESULTS FOR EXPANSIONS OF THE ORDERED FIELD OF REAL NUMBERS BY RESTRICTED PFAFFIAN FUNCTIONS AND THE EXPONENTIAL FUNCTION, J. Amer. Math. Soc, vol.9, issue.4, pp.1051-1094, 1996. ,
DOI : 10.1142/9789812564894_0029