2012.3: O-minimal structures
2012.3: A J Wilkie (2009) O-minimal structures. In: Seminaire Bourbaki No 985, 14 Nov 2007, Paris, France.
Full text available as:
|PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
The notion of an o-minimal expansion of the ordered field of real numbers was invented by L van den Dries [vdD1] as a framework for investigating the model theory of the real exponential function exp : R -> R : x -> exp(x), and thereby settle an old problem of Tarski. More on this later, but for the moment it is best motivated as being a candidate for Grothendieck’s idea of “tame topology” as expounded in his Esquisse d’un Programme [Gr]. In this lecture I shall explain these remarks.
|Item Type:||Conference or Workshop Item (Lecture)|
|Subjects:||MSC 2000 > 03 Mathematical logic and foundations|
MSC 2000 > 26 Real functions
|Deposited By:||Prof Alex J Wilkie|
|Deposited On:||05 January 2012|