A theorem of the complement and some new o-minimal structures

Selecta Mathematica, New Series

Volumn 5, Issue 4, 1999, Pages 397-421

  Wilkie, A J ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

O minimal structures

Indexed keywords

EID: 0037616453     PISSN: 10221824     EISSN: 14209020     Source Type: Journal    
DOI: 10.1007/s000290050052     Document Type: Article

References (13)

1. J.-Y. Charbonnel. Sur certains sous-ensembles de l'espace euclidean. Ann. Inst. Fourier. Grenoble 41 3 (1991), 679-717.
2. J. Denef and L. van den Dries, p-adic and real subanalytic sets. Annals of Mathematics 128 (1988), 80-138.
3. L. van den Dries, o-minimal structures, in Logic Colloquium '93 (W. Hodges, J.M.E. Hyland, C. Steinhorn and J. Truss, eds.). OUP, 1997.
4. L. van den Dries, A. Macintyre and D. Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of Mathematics 140 (1994), 183-205.
5. L. van den Dries and C. Miller. Geometric categories and o-minimal structures. Duke Journal 84 (1996), 497-540.
6. A. Gabrielov. Projections of semi-analytic sets. Functional Analysis Appl. 2 (1968), 282-291.
7. M. Karpinski and A. Macintyre. o-minimal expansions of the real field: a characterization, and an application to Pfaffian closure (to appear).
8. A.G. Khovanski. Fewnomials. Translations of Math Monographs Vol. 88. AMS, 1991.
9. J. Knight, A. Pillay and C. Steinhorn. Definable sets and ordered structures II. Trans. Amer. Math. Soc. 295 (1986), 593-605.
10. S. Maxwell. A general model completeness result for expansions of the real ordered field. Annals of Pure and Applied Logic (to appear).
11. A. Pillay and C. Steinhorn. Definable sets and ordered structures I. Trans. Amer. Math. Soc. 295 (1986), 565-592.
12. W. Schmid and K. Vilonen. Characteristic cycles for constructive sheaves. Inventions Math 124 (1996), 451-502.
13. A.J. Wilkie. Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Amer. Math. Soc. 9 (1996), 1051-1094.