Celebratio Mathematica — van den Dries

Interview with Lou van den Dries

Works connected to Angus Macintyre

Filter the Bibliography List

year	title	people

			clear

L. van den Dries, A. Macintyre, and D. Marker: “The elementary theory of restricted analytic fields with exponentiation,” Ann. Math. (2) 140 : 1 (July 1994), pp. 183–205. MR 1289495 Zbl 0837.12006 article

In [1996] Wilkie proved the remarkable result that the field of real numbers with exponentiation is model complete. When we combine this with Hovanskiĭ’s finiteness theorem [1980], it follows that the real exponential field is \( o \)-minimal. In \( o \)-minimal expansions of the real field the definable subsets of \( \mathbb{R}^n \) share many of the nice structural properties of semialgebraic sets. For example, definable subsets have only finitely many connected components, definable sets can be stratified and triangulated, and continuous definable maps are piecewise trivial (see [van den Dries 1998]).

In this paper we will prove a quantifier elimination result for the real field augmented by exponentiation and all restricted analytic functions, and use this result to obtain \( o \)-minimality. We were led to this while studying work of Ressayre [1993] and several of his ideas emerge here in simplified form. However, our treatment is formally independent of the results of [Wilkie 1996; Hovanskiĭ 1980; Ressayre 1993].

David E. Marker	Related
Angus Macintyre	Related

L. van den Dries, A. Macintyre, and D. Marker: “Logarithmic-exponential power series,” J. London Math. Soc. (2) 56 : 3 (1997), pp. 417–434. MR 1610431 Zbl 0924.12007 article

David E. Marker	Related
Angus Macintyre	Related