Celebratio Mathematica — van den Dries

Complete Bibliography

Works connected to Charles Ira Steinhorn

Filter the Bibliography List

year	title	people

			clear

L. van den Dries: “o-minimal structures,” pp. 137–185 in Logic: From foundations to applications (Keele, UK, 20–29 July 1993). Edited by W. Hodges, M. Hyland, C. Steinhorn, and J. Truss. Oxford Science Publications. Oxford University Press (New York), 1996. European Logic Colloquium. MR 1428004 Zbl 0861.03028 incollection

Wilfrid Augustine Hodges	Related
J. Martin E. Hyland	Related
John Kenneth Truss	Related
Charles Ira Steinhorn	Related

L. van den Dries: “Classical model theory of fields,” pp. 37–52 in Model theory, algebra, and geometry. Edited by D. Haskell, A. Pillay, and C. Steinhorn. MSRI Publications 39. Cambridge University Press, 2000. MR 1773701 Zbl 0986.03034 incollection

We begin with some thoughts on how model theory relates to other parts of mathematics, and on the indirect role of Gödel’s incompleteness theorem in this connection. With this in mind we consider in Section 2 the fields of real and \( p \)-adic numbers and show how these algebraic objects are understood model-theoretically: theorems of Tarski, Kochen, and Macintyre. This leads naturally to a discussion of the famous work by Ax, Kochen and Ershov in the mid sixties on henselian fields and its number theoretic implications.

In Section 3 we add analytic structure to the real and \( p \)-adic fields, and indicate how results such as the Weierstrass preparation theorem can be used to extend much of Section 2 to this setting. Here we make contact with the theory of subanalytic sets developed by analytic geometers in the real case.

In Section 4 we focus on o-minimal expansions of the real field that are not subanalytic, such as the real exponential field (Wilkie’s theorem). We indicate in a diagram the main known o-minimal expansions of the real field. We also provide a translation into the coordinate-free language of manifolds via “analytic-geometric categories”. (This has been found useful by geometers.)

Deirdre Haskell	Related
Anand Pillay	Related
Charles Ira Steinhorn	Related