O-minimal structures

Wilkie, A J (2009) O-minimal structures. In: Seminaire Bourbaki No 985, 14 Nov 2007, Paris, France.

[img] PDF

Download (153kB)


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: http://eprints.maths.manchester.ac.uk/id/eprint/1745

Actions (login required)

View Item View Item