Geometric categories and O-minimal structures

Duke Mathematical Journal

Volumn 84, Issue 2, 1996, Pages 497-540

  Van Den Dries, Lou ^a   Miller, Chris ^b  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000274906     PISSN: 00127094     EISSN: None     Source Type: Journal    
DOI: 10.1215/S0012-7094-96-08416-1     Document Type: Article

References (27)

1. E. BIERSTONE AND P. MILMAN, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 5-42.
2. J. BOCHNAK, M. COSTE, AND M.-F. ROY, Géométrie algébrique réelle, Ergeb. Math. Grenzgeb. (3) 12, Springer-Verlag Berlin, 1987.
3. 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.
4. _, Tame Topology and O-Minimal Structures, monograph in preparation.
5. L. VAN DEN DRIES, A. MACINTYRE, AND D. MARKER, The elementary theory of restricted analytic fields with exponentiation, Ann. of Math. (2) 140 (1994), 183-205.
6. _, Logarithmic-exponential power series, to appear in J. London Math. Soc. (2).
7. L. VAN DEN DRIES AND C. MILLER, Extending Tamm's theorem, Ann. Inst. Fourier (Grenoble) 44 (1994), 1367-1395.
8. _, On the real exponential field with restricted analytic functions, Israel J. Math. 85 (1994), 19-56.
9. R. HARDT, Stratification of real analytic maps and images, Invent. Math. 28 (1975), 193-208.
10. _, Semi-algebraic local triviality in semi-algebraic mappings, Amer. J. Math. 102 (1980), 291-302.
11. _, "Some analytic bounds for subanalytic sets" in Differential Geometric Control Theory, Progr. Math. 27, Birkhäuser, Boston, 1983, 259-267.
12. M. KASHIWARA AND P. SCHAPIRA, Sheaves on Manifolds, Grundlehren Math. Wiss. 292, Springer, Berlin, 1990.
13. T. KAYAL AND G. RABY, Ensembles sous-analytiques: quelques propriétés globales, C. R. Acad. Sci. Paris, Sér. I Math. 308 (1989), 521-523.
14. T. LOI, On the global Łojasiewicz inequalities for the class of analytic logarithmico-exponential functions, C. R. Acad. Sci. Paris Sér. I Math. 318 (1994), 543-548.
15. exp, to appear in Banach Center Publ.
16. S. ŁOJASIEWICZ, Ensembles semi-analytiques, Institut des Hautes Études Scientifiques, Buressur-Yvette, 1965.
17. J. MATHER, "Stratifications and mappings" in Dynamical Systems, ed. by M. M. Peixoto, Academic Press, New York, 1973, 195-232.
18. C. MILLER, Expansions of the real field with power functions, Ann. Pure Appl. Logic 68 (1994), 79-94.
19. _, Exponentiation is hard to avoid, Proc. Amer. Math. Soc. 122 (1994), 257-259.
20. _, Infinite differentiability in polynomially bounded o-minimal structures, Proc. Amer. Math. Soc. 123 (1995), 2551-2555.
21. J.-P. RESSAYRE, "Integer parts of real closed exponential fields" in Arithmetic, Proof Theory, and Computational Complexity, Oxford Logic Guides 23, Oxford University Press, New York, 1993, 278-288.
22. W. SCHMID AND K. VILONEN, Characteristic cycles of constructible sheaves, Invent. Math. 124 (1996), 451-502.
23. M. SHIOTA, Nash Manifolds, Lecture Notes in Math. 1269, Springer-Verlag, New York, 1987.
24. _, "Geometry of subanalytic and semialgebraic sets: abstract" in Real Analytic and Algebraic Geometry, de Gruyter, Berlin, 1995, 251-275.
25. M. TAMM, Subanalytic sets in the calculus of variation, Acta Math. 146 (1981), 167-199.
26. J.-CL. TOUGERON, Algèbres analytiques topologiquement noethériennes: théorie de Khovanskii, Ann. Inst. Fourier (Grenoble) 41 (1991), 823-840.
27. A. WILKIE, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, to appear in J. Amer. Math. Soc.