Differential equations over polynomially bounded o-minimal structures

Proceedings of the American Mathematical Society

Volumn 131, Issue 1, 2003, Pages 175-183

  Lion, Jean Marie ^a,b   Miller, Chris ^c   Speissegger, Patrick ^d,e  

^a UNIVERSITÉ DE BOURGOGNE   (France)

^b UNIVERSITÉ DE RENNES 1   (France)

^c OHIO STATE UNIVERSITY   (United States)

^d UNIVERSITY OF TORONTO   (Canada)

^e UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037237366     PISSN: 00029939     EISSN: None     Source Type: Journal    
DOI: 10.1090/S0002-9939-02-06509-7     Document Type: Article

References (25)

1. E. Bierstone and P. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 5-42. MR 89k:32011
2. M. Boshernitzan, Universal formulae and universal differential equations, Ann. of Math. 124 (1986), 273-291. MR 88a:12007
3. F. Cano, R. Moussu, and F. Sanz, Oscillation, spiralement, tourbillonnement, Comment. Math. Helv. 75 (2000), 284-318. MR 2001k:37034
4. L. van den Dries, A generalization of the Tarski-Seidenberg theorem, and some nondefinability results, Bull. Amer. Math. Soc. (N.S) 15 (1986), 189-193. MR 88b:03048
5. _, T-convexity and tame extensions. II, J. Symbolic Logic 62 (1997), 14-34. MR 98h:03048
6. _, Tame topology and o-minimal structures, London Math. Soc. Lecture Note Ser., vol. 248, Cambridge University Press, Cambridge, 1998. MR 99j:03001
7. L. van den Dries, D. Marker, and A. Macintyre, The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. 140 (1994), 183-205. MR 95k:12015
8. L. van den Dries and C. Miller, Geometric categories and o-minimal structures, Duke Math. J. 84 (1996), 497-540. MR 97i:32008
9. L. van den Dries and P. Speissegger, The real field with convergent generalized power series, Trans. Amer. Math. Soc. 350 (1998), 4377-4421. MR 99a:03036
10. _. The field of reals with multisummable series and the exponential function, Proc. London Math. Soc. 81 (2000), 513-565.
11. F.-V. Kuhlmann and S. Kuhlmann, The exponential rank of nonarchimedean exponential fields, Real Algebraic Geometry and Ordered Structures, Contemp. Math., vol. 253, Amer. Math. Soc., Providence, RI, 2000, pp. 181-201. MR 2001d:12012
12. J.-M. Lion, Inégalité de Łojasiewicz en géométrie pfaffienne, Illinois J. Math. 44 (2000), 889-900. MR 2001k:32013
13. J.-M. Lion and P. Speissegger, Analytic stratification in the Pfaffian closure of an o-minimal structure, Duke Math. J. 103 (2000), 215-231. MR 2001j:03076
14. D. Marker and C. Miller, Levelled o-minimal structures, Rev. Mat. Complut. (Madrid) 10 (1997), 241-249. MR 99c:03060
15. C. Miller, Expansions of the real field with power functions, Ann. Pure Appl. Logic 68 (1994), 79-94. MR 95i:03081
16. _, Exponentiation is hard to avoid, Proc. Amer. Math. Soc. 122 (1994), 257-259. MR 94k:03042
17. _, Infinite differentiability in polynomially bounded o-minimal structures, Proc. Amer. Math. Soc. 123 (1995), 2551-2555. MR 95j:03069
18. _, A growth dichotomy for o-minimal expansions of ordered fields, Logic: From Foundations to Applications, Oxford Sci. Publ., Oxford Univ. Press, New York, 1996, pp. 385-399. MR 98a:03052
19. C. Miller and P. Speissegger, Pfaffian differential equations over exponential o-minimal structures, J. Symbolic Logic 67 (2002), 438-448.
20. J.-P. Rolin, P. Speissegger, and A. Wilkie, Quasianalytic Denjoy-Carleman classes and o-minimality, preprint (2001).
21. M. Rosenlicht, The rank of a Hardy field, Trans. Amer. Math. Soc. 280 (1983), 659-671. MR 85d:12002
22. _, Rank change on adjoining real powers to Hardy fields, Trans. Amer. Math. Soc. 284 (1984), 829-836. MR 85i:12008
23. _. Growth properties of functions in Hardy fields, Trans. Amer. Math. Soc. 299 (1987), 261-272. MR 88b:12010
24. J. Shackell, Rosenlicht fields, Trans. Amer. Math. Soc. 335 (1993), 579-595. MR 93d:12012
25. P. Speissegger, The Pfaffian closure of an o-minimal structure, J. Reine Angew. Math. 508 (1999), 189-211. MR 2000j:14093