Publications of David E. Marker
Introduction [Recent developments in model theory].
Notre Dame J. Form. Log.,
54(3-4):277, 2013.
MR3091659
Model theory and differential galois theoory.
(this is now in galley proofs). 2012.
Basic definability notions for $L_{\omega_1,\omega}$.
In proceedings of the 11th asian logic conference,
pages 22-50. World Sci. Publ., 2012. (This appears as an appendix to John Baldwin's paper ``Amalgamation, Absoluteness and Categoricity" ).
Preface [Special issue: The Workshop on Model Theory and Computable Model Theory, 2007].
Arch. Math. Logic,
48(1):1--6, 2009.
MR2480930
Logic and model theory.
In Princeton companion to mathematics,
pages 635-646. Princeton University Press, 2008.
The Borel complexity of isomorphism for theories with many types.
Notre Dame J. Formal Logic,
48(1):93--97 (electronic), 2007.
MR2289899
The number of countable differentially closed fields.
Notre Dame J. Formal Logic,
48(1):99--113 (electronic), 2007.
MR2289900
Model theory of fields, volume 5 of Lecture Notes in Logic.
Association for Symbolic Logic, La Jolla, CA, 2006.
MR2215060
A remark on Zilber's pseudoexponentiation.
J. Symbolic Logic,
71(3):791--798, 2006.
MR2250821
Decidability of the natural numbers with the almost-all quantifier.
2006.
Model theory, volume 217 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 2002.
MR1924282
Model theory and applications, volume 11 of Quaderni di Matematica [Mathematics Series].
Aracne Editrice, Rome, 2002.
MR2159343
Introduction [To honor Angus Macintyre on his 60th birthday].
In Model theory and applications,
pages xiii--xx. Aracne, Rome, 2002.
MR2159710
Logarithmic-exponential series.
In Proceedings of the International Conference ``Analyse & Logique'' (Mons, 1997), volume 111 of,
pages 61--113. 2001.
MR1848569
Introduction to model theory.
In Model theory, algebra, and geometry,
pages 15--35. Cambridge Univ. Press, Cambridge, 2000.
MR1773700
Model theory of differential fields.
In Model theory, algebra, and geometry,
pages 53--63. Cambridge Univ. Press, Cambridge, 2000.
MR1773702
Weakly o-minimal structures and real closed fields.
Trans. Amer. Math. Soc.,
352(12):5435--5483 (electronic), 2000.
MR1781273
Manin kernels.
In Connections between model theory and algebraic and analytic geometry,
pages 1--21. Dept. Math., Seconda Univ. Napoli, Caserta, 2000.
MR1930680
Strongly minimal sets and geometry.
In Logic Colloquium '95 (Haifa),
pages 191--213. Springer, Berlin, 1998.
MR1678361
Zariski geometries.
In Model theory and algebraic geometry,
pages 107--128. Springer, Berlin, 1998.
MR1678535
Differential Galois theory. III. Some inverse problems.
Illinois J. Math.,
41(3):453--461, 1997.
MR1458184
Khovanskii's theorem.
In Algebraic model theory (Toronto, ON, 1996),
pages 181--193. Kluwer Acad. Publ., Dordrecht, 1997.
MR1481444
A failure of quantifier elimination.
Rev. Mat. Univ. Complut. Madrid,
10(Special Issue, suppl.):209--216, 1997.
MR1485300
Levelled o-minimal structures.
Rev. Mat. Univ. Complut. Madrid,
10(Special Issue, suppl.):241--249, 1997.
MR1485302
Logarithmic-exponential power series.
J. London Math. Soc. (2),
56(3):417--434, 1997.
MR1610431
Model theory and exponentiation.
Notices Amer. Math. Soc.,
43(7):753--759, 1996.
MR1394389
Model theory of fields, volume 5 of Lecture Notes in Logic.
Springer-Verlag, Berlin, 1996.
MR1477154
Definable types in $\mathcal O$-minimal theories.
J. Symbolic Logic,
59(1):185--198, 1994.
MR1264974
The elementary theory of restricted analytic fields with exponentiation.
Ann. of Math. (2),
140(1):183--205, 1994.
MR1289495
Additive reducts of real closed fields.
J. Symbolic Logic,
57(1):109--117, 1992.
MR1150928
End extensions of normal models of open induction.
Notre Dame J. Formal Logic,
32(3):426--431, 1991.
MR1124595
Reducts of $({\bf C},+,\cdot)$ which contain $+$.
J. Symbolic Logic,
55(3):1243--1251, 1990.
MR1071326
Bounds on Scott rank for various nonelementary classes.
Arch. Math. Logic,
30(2):73--82, 1990.
MR1075644
Enumerations of Turing ideals with applications.
Notre Dame J. Formal Logic,
31(4):509--514, 1990.
MR1085411
Semialgebraic expansions of ${\bf C}$.
Trans. Amer. Math. Soc.,
320(2):581--592, 1990.
MR964900
Primes and their residue rings in models of open induction.
Ann. Pure Appl. Logic,
43(1):57--77, 1989.
MR1001418
$\Pi^ 1_ 1$ Borel sets.
J. Symbolic Logic,
54(3):915--920, 1989.
MR1011178
Non $\Sigma_ n$ axiomatizable almost strongly minimal theories.
J. Symbolic Logic,
54(3):921--927, 1989.
MR1011179
Definable equivalence relations on algebraically closed fields.
J. Symbolic Logic,
54(3):928--935, 1989.
MR1011180
Borel orderings.
Trans. Amer. Math. Soc.,
310(1):293--302, 1988.
MR965754
An analytic equivalence relation not arising from a Polish group action.
Fund. Math.,
130(3):225--228, 1988.
MR970906
A strongly minimal expansion of $(\omega,s)$.
J. Symbolic Logic,
52(1):205--207, 1987.
MR877867
Kueker's conjecture for o-minimal theories.
In Mathematical logic and theoretical computer science (College Park, Md., 1984--1985),
pages 253--260. Dekker, New York, 1987.
MR930683
Omitting types in ${\mathcal O}$-minimal theories.
J. Symbolic Logic,
51(1):63--74, 1986.
MR830073
Degrees of recursively saturated models.
Trans. Amer. Math. Soc.,
282(2):539--554, 1984.
MR732105
A model theoretic proof of Feferman's preservation theorem.
Notre Dame J. Formal Logic,
25(3):213--216, 1984.
MR744835
Degrees of models of true arithmetic.
In Proceedings of the Herbrand symposium (Marseilles, 1981), volume 107 of Stud. Logic Found. Math.,
pages 233--242. North-Holland, Amsterdam, 1982.
MR757032