Celebratio Mathematica — van den Dries

Complete Bibliography

Works connected to Deirdre Haskell

Filter the Bibliography List

year	title	people

			clear

L. van den Dries, D. Haskell, and D. Macpherson: “One-dimensional \( p \)-adic subanalytic sets,” J. London Math. Soc. (2) 59 : 1 (1999), pp. 1–20. MR 1688485 Zbl 0932.03038 article

Deirdre Haskell	Related
H. Dugald Macpherson	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