Degrees of models of true arithmetic,
* Proceedings of the Herbrand Symposium*, edited J. Stern, North Holland,
1982, 233-242.
Degrees of recursively saturated models, (with A.
Macintyre), Trans. Amer. Math. Soc. 282 (1984), 539-554.
A model theoretic proof of Feferman's
preservation theorem, Notre Dame J. Formal Logic 25 (1984), 213-216.
Omitting types in {\it O}-minimal theories, J.
Symbolic Logic 51 (1986), 63-74.
Kueker's conjecture for o-minimal theories,
Proc. Univ. Maryland Logic Year, (with L. Mayer), *Mathematical Logic and
Theoretical Computer Science*, ed. by D. Kueker, E. Lopez-Escobar, and C. Smith,
published by Dekker 1987, 253-260.
A strongly minimal expansion of (w,s), J.
Symbolic Logic, 52 (1987), 205-207.
Borel orderings, (with L. Harrington and S.
Shelah), Trans. Amer. Math. Soc. 310 (1989), 293-302.
Primes and their residue rings in models of open
induction, (with A. Macintyre), Ann. Pure Appl. Logic 43 (1989), 57-77.
An analytic equivalence relation not arising as a
Polish group action, Fund. Math. 32 (1988), 225-228.
Definable equivalence relations on an
algebraically closed field, (with L.P.D. van den Dries and G. Martin), J.
Symbolic Logic 54 (1989), 928-935.
Non-$\Sigma_n$-axiomatizable almost strongly
minimal theories, J. Symbolic Logic 54 (1989), 921-927.
${\Pi_1^1}$ Borel sets, (with A.S.
Kechris and R. Sami), J. Symbolic Logic 54 (1989), 915-920.
Semialgebraic expansions of {\bf C}, Trans. Amer.
Math. Soc. 320 (1990), 581-592.
Bounds on Scott rank for various nonelementary
classes, Arch. Math. Logic 30 (1990), 73-82.
Enumerations of Turing ideals with applications,
Notre Dame J. Formal Logic 31 (1990) 509-514.
Reducts of (${\bf C}$,+,$\cdot$) which
contain
+, (with A. Pillay), J. Symbolic Logic 55 (1990), 1243-1251.
Additive reducts of real closed fields, (with
K. Peterzil and A. Pillay), J. Symbolic Logic 55 (1992) 109-118.
End extensions of normal models of Open
Induction, Notre Dame J. Formal Logic 32 (1991), 426-431.
Definable types in o-minimal theories
(with C. Steinhorn)
J. Symbolic Logic 59 (1994) 155-194.
The elementary theory of restricted
analytic fields with
exponentiation (with L. van den Dries and A. Macintyre), Annals Math.
140 (1994) 183-205.
*Model Theory of Fields* (with M. Messmer and A. Pillay),
Springer Lecture Notes in Logic 5, Springer Verlag, 1996.
Introduction to the model theory of
fields, 35 pp. in 21.
The model theory of differential
fields, 75 pp. in ms., in 21.
Model theory and exponentiation, Notices AMS 43, 1996 753-759.
Zariski geometries, *
Model Theory and Algebraic
Geometry*,
E. Bouscaren ed., Lecture Notes in Mathematics 1696, Springer
Verlag 1998.
Logarithmic-exponential power series (with
L. van den Dries and A. Macintyre), J. London Math. Soc. 56 (1997) 417-434.
Leveled o-minimal structures
(with C. Miller), Revista Mathematica de la Universidad
Compultensa, 10 (1997) 241-249.
A failure of quantifier elimination
(with A. Macintyre), Revista Mathematics de la Universidad Computensa, Revista Mathematica de la Universidad
Compultensa, 10 (1997) 209-216.
Differential Galois theory III: some
inverse problems (with A. Pillay), Illinois J. Math. 41 (1997)
453-461.
Khovanskii's theorem,
* Algebraic Model Theory*, Proceeding's NATO Workshop,
B. Hart et al. ed., Kluwer 1997.
On differential equations in $\LE$, * Ordered Algebraic Structures
Seminar*, F. Delon and M. Dickmann ed., Paris VII, 1998.
Strongly minimal sets and
geometry, *Proceedings Logic Colloquium '95*, J. Makovsky ed.,
Springer Lecture Notes in Logic, 1998.
Logarithmic-exponential series (with
L. van den Dries and A. Macintyre), Annals of Pure and Applied Logic, to appear.
Introduction to Model Theory,
* Model Theory of Fields*, D. Haskell,
A. Pillay and C. Steinhorn ed., Cambridge Univ. Press, to appear.
Introduction to the Model Theory
of Differential Fields,
* Model Theory of Fields*, D. Haskell,
A. Pillay and C. Steinhorn ed., Cambridge Univ. Press, to appear.
Weakly o-minimal theories (with D.
MacPherson
and C. Steinhorn), submitted Trans. AMS.

Go back to Dave's Home Page