# Publications

• 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.