Wilkie, A J (2009) O-minimal structures. In: Seminaire Bourbaki No 985, 14 Nov 2007, Paris, France.
PDF
Bourbaki_Wilkie.pdf Download (153kB) |
Abstract
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) |
---|---|
Uncontrolled Keywords: | O-minimality |
Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 26 Real functions |
Depositing User: | Prof Alex J Wilkie |
Date Deposited: | 05 Jan 2012 |
Last Modified: | 20 Oct 2017 14:12 |
URI: | https://eprints.maths.manchester.ac.uk/id/eprint/1745 |
Actions (login required)
View Item |