David Marker

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.


    Go back to Dave's Home Page