O-minimal structures
Séminaire Bourbaki Volume 2007/2008 Exposés 982-996, Astérisque, no. 326 (2009), Exposé no. 985, 12 p.
@incollection{AST_2009__326__131_0,
     author = {Wilkie, Alex J.},
     title = {O-minimal structures},
     booktitle = {S\'eminaire Bourbaki Volume 2007/2008 Expos\'es 982-996},
     series = {Ast\'erisque},
     note = {talk:985},
     pages = {131--142},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {326},
     year = {2009},
     mrnumber = {2605320},
     zbl = {1197.03043},
     language = {en},
     url = {http://www.numdam.org/item/AST_2009__326__131_0/}
}
TY  - CHAP
AU  - Wilkie, Alex J.
TI  - O-minimal structures
BT  - Séminaire Bourbaki Volume 2007/2008 Exposés 982-996
AU  - Collectif
T3  - Astérisque
N1  - talk:985
PY  - 2009
SP  - 131
EP  - 142
IS  - 326
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/AST_2009__326__131_0/
LA  - en
ID  - AST_2009__326__131_0
ER  - 
%0 Book Section
%A Wilkie, Alex J.
%T O-minimal structures
%B Séminaire Bourbaki Volume 2007/2008 Exposés 982-996
%A Collectif
%S Astérisque
%Z talk:985
%D 2009
%P 131-142
%N 326
%I Société mathématique de France
%U http://www.numdam.org/item/AST_2009__326__131_0/
%G en
%F AST_2009__326__131_0
Wilkie, Alex J. O-minimal structures, dans Séminaire Bourbaki Volume 2007/2008 Exposés 982-996, Astérisque, no. 326 (2009), Exposé no. 985, 12 p. http://www.numdam.org/item/AST_2009__326__131_0/

[1] J. Denef & L. Van Den Dries - " p -adic and real subanalytic sets", Ann. of Math. 128 (1988), p. 79-138. | DOI | MR | Zbl

[2] L. Van Den Dries - "Remarks on Tarski's problem concerning ( 𝐑 , + , * . , exp ) ", in Logic colloquium '82 (Florence, 1982), Stud. Logic Found. Math., vol. 112, North-Holland, 1984, p. 97-121. | DOI | MR | Zbl

[3] L. Van Den Dries - Tame topology and o-minimal structures, London Math. Soc. Lecture Note Series, vol. 248, Cambridge Univ. Press, 1998. | MR | Zbl

[4] L. Van Den Dries, A. Macintyre & D. Marker - "The elementary theory of restricted analytic fields with exponentiation", Ann. of Math. 140 (1994), p. 183-205. | DOI | MR | Zbl

[5] A. M. Gabrièlov - "Projections of semianalytic sets", Funkcional. Anal, i Priložen. 2 (1968), p. 18-30. | MR | Zbl

[6] A. Grothendieck - "Esquisse d'un programme", notes, 1984. | Zbl

[7] A. Khovanski - "On a class of systems of transcendental equations", Soviet Math. Doklady 22 (1980), p. 762-765. | MR | Zbl

[8] A. Macintyre & A. J. Wilkie - "On the decidability of the real exponential field", in Kreiseliana, A K Peters, 1996, p. 441-467. | MR | Zbl

[9] A. Pillay & C. Steinhorn - "Definable sets in ordered structures. I", Trans. Amer. Math. Soc. 295 (1986), p. 565-592. | DOI | MR | Zbl

[10] J.-P. Rolin, P. Speissegger & A. J. Wilkie - "Quasianalytic Denjoy-Carleman classes and o-minimality", J. Amer. Math. Soc. 16 (2003), p. 751-777. | DOI | MR | Zbl

[11] W. Schmid & K. Vilonen - "Characteristic cycles of constructible sheaves", Invent Math. 124 (1996), p. 451-502. | DOI | MR | Zbl

[12] A. Tarski - A decision method for elementary algebra and geometry, second ed., Rand Corporation, 1951. | Zbl

[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), p. 1051-1094. | DOI | MR | Zbl