A preparation theorem for Weierstrass systems

Miller, Daniel

doi:10.1090/S0002-9947-06-04190-0

A preparation theorem for Weierstrass systems
HTML articles powered by AMS MathViewer

by Daniel J. Miller PDF

Trans. Amer. Math. Soc. 358 (2006), 4395-4439 Request permission

Abstract:

It is shown that Lion and Rolin’s preparation theorem for globally subanalytic functions holds for the collection of definable functions in any expansion of the real ordered field by a Weierstrass system.

References

Ricardo Bianconi, Nondefinability results for expansions of the field of real numbers by the exponential function and by the restricted sine function, J. Symbolic Logic 62 (1997), no. 4, 1173–1178. MR 1617985, DOI 10.2307/2275634
Edward Bierstone and Pierre D. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 5–42. MR 972342, DOI 10.1007/BF02699126
Edward Bierstone and Pierre D. Milman, Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant, Invent. Math. 128 (1997), no. 2, 207–302. MR 1440306, DOI 10.1007/s002220050141
Edward Bierstone and Pierre D. Milman, Resolution of singularities in Denjoy-Carleman classes, Selecta Math. (N.S.) 10 (2004), no. 1, 1–28. MR 2061220, DOI 10.1007/s00029-004-0327-0
Jacek Bochnak, Michel Coste, and Marie-Françoise Roy, Real algebraic geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 36, Springer-Verlag, Berlin, 1998. Translated from the 1987 French original; Revised by the authors. MR 1659509, DOI 10.1007/978-3-662-03718-8
C. L. Childress, Weierstrass division in quasianalytic local rings, Canadian J. Math. 28 (1976), no. 5, 938–953. MR 417441, DOI 10.4153/CJM-1976-091-7
J. Denef and L. Lipshitz, Ultraproducts and approximation in local rings. II, Math. Ann. 253 (1980), no. 1, 1–28. MR 594530, DOI 10.1007/BF01457817
J. Denef and L. van den Dries, $p$-adic and real subanalytic sets, Ann. of Math. (2) 128 (1988), no. 1, 79–138. MR 951508, DOI 10.2307/1971463
A. M. Gabrièlov, Projections of semianalytic sets, Funkcional. Anal. i Priložen. 2 (1968), no. 4, 18–30 (Russian). MR 0245831
Andrei Gabrielov, Complements of subanalytic sets and existential formulas for analytic functions, Invent. Math. 125 (1996), no. 1, 1–12. MR 1389958, DOI 10.1007/s002220050066
H. Grauert and R. Remmert, Analytische Stellenalgebren, Die Grundlehren der mathematischen Wissenschaften, Band 176, Springer-Verlag, Berlin-New York, 1971 (German). Unter Mitarbeit von O. Riemenschneider. MR 0316742, DOI 10.1007/978-3-642-65033-8
Robert C. Gunning and Hugo Rossi, Analytic functions of several complex variables, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1965. MR 0180696
J.-M. Lion and J.-P. Rolin, Théorème de préparation pour les fonctions logarithmico-exponentielles, Ann. Inst. Fourier (Grenoble) 47 (1997), no. 3, 859–884 (French, with English and French summaries). MR 1465789, DOI 10.5802/aif.1583
J.-M. Lion and J.-P. Rolin, Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques, Ann. Inst. Fourier (Grenoble) 48 (1998), no. 3, 755–767 (French, with English and French summaries). MR 1644093, DOI 10.5802/aif.1637
Leonard Lipshitz and Lee A. Rubel, A gap theorem for power series solutions of algebraic differential equations, Amer. J. Math. 108 (1986), no. 5, 1193–1213. MR 859776, DOI 10.2307/2374602
Kurt Mahler, Lectures on transcendental numbers, Lecture Notes in Mathematics, Vol. 546, Springer-Verlag, Berlin-New York, 1976. MR 0491533, DOI 10.1007/BFb0081107
Chris Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic 68 (1994), no. 1, 79–94. MR 1278550, DOI 10.1016/0168-0072(94)90048-5
Chris Miller, Infinite differentiability in polynomially bounded o-minimal structures, Proc. Amer. Math. Soc. 123 (1995), no. 8, 2551–2555. MR 1257118, DOI 10.1090/S0002-9939-1995-1257118-1
Adam Parusiński, Lipschitz stratification of subanalytic sets, Ann. Sci. École Norm. Sup. (4) 27 (1994), no. 6, 661–696. MR 1307677, DOI 10.24033/asens.1703
A. Rambaud, Quasi-analycité, o-minimalité et élimination des quantificateurs, Ph.D. thesis, Université Paris 7 - Denis Diderot, 2005.
J.-P. Rolin, P. Speissegger, and A. J. Wilkie, Quasianalytic Denjoy-Carleman classes and o-minimality, J. Amer. Math. Soc. 16 (2003), no. 4, 751–777. MR 1992825, DOI 10.1090/S0894-0347-03-00427-2
Lou van den Dries, On the elementary theory of restricted elementary functions, J. Symbolic Logic 53 (1988), no. 3, 796–808. MR 960999, DOI 10.2307/2274572
Lou van den Dries, Angus Macintyre, and David Marker, The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. (2) 140 (1994), no. 1, 183–205. MR 1289495, DOI 10.2307/2118545
L. van den Dries and P. Speissegger, O-minimal preparation theorems, Model theory and applications, Quad. Mat., vol. 11, Aracne, Rome, 2002, pp. 87–116. MR 2159715