David Marker

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 5

Top Topics

Document Summarization

Sentence Retrieval

Syntactic Analysis

Top Venues

Arch. Math. Log.

Bull. Symb. Log.

Notre Dame J. Formal Log.

Publications

John Baldwin, David Marker
IN MEMORIAM: MICHAEL MORLEY, 1930-2020. Bull. Symb. Log. 27 (4) (2021)
Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler, David Marker
Scattered sentences have few separable randomizations. Arch. Math. Log. 59 (5-6) (2020)
David Marker, Russell G. Miller
Turing degree spectra of differentially Closed Fields. J. Symb. Log. 82 (1) (2017)
David Marker, James H. Schmerl, Charles Steinhorn
Uncountable Real Closed Fields with PA Integer Parts. J. Symb. Log. 80 (2) (2015)
Alf Dolich, Julia F. Knight, Karen M. Lange, David Marker
Representing Scott sets in algebraic settings. Arch. Math. Log. 54 (5-6) (2015)
Zoé Chatzidakis, David Marker, Amador Martin-Pizarro, Rahim Moosa, Sergei Starchenko
Introduction. Notre Dame J. Formal Log. 54 (3-4) (2013)
Douglas A. Cenzer, Valentina S. Harizanov, David Marker, Carol Wood
Preface. Arch. Math. Log. 48 (1) (2009)
David Marker
The Borel Complexity of Isomorphism for Theories with Many Types. Notre Dame J. Formal Log. 48 (1) (2007)
David Marker
The Number of Countable Differentially Closed Fields. Notre Dame J. Formal Log. 48 (1) (2007)
David Marker
A remark on Zilber's pseudoexponentiation. J. Symb. Log. 71 (3) (2006)
Lou van den Dries, Angus Macintyre, David Marker
Logarithmic-exponential series. Ann. Pure Appl. Log. 111 (1-2) (2001)
David Marker
Strongly Minimal Sets and Geometry. Logic Colloquium (1995)
David Marker, Charles Steinhorn
Definable Types in O-Minimal Theories. J. Symb. Log. 59 (1) (1994)
David Marker, Ya'acov Peterzil, Anand Pillay
Additive Reducts of Real Closed Fields. J. Symb. Log. 57 (1) (1992)
David Marker
End Extensions of Normal Models of Open Induction. Notre Dame J. Formal Log. 32 (3) (1991)
David Marker
Bounds on Scott rank for various nonelementary classes. Arch. Math. Log. 30 (2) (1990)
David Marker, Anand Pillay
Reducts of (C, +, *) which Contain +. J. Symb. Log. 55 (3) (1990)
David Marker
Enumerations of Turing Ideals with Applications. Notre Dame J. Formal Log. 31 (4) (1990)
Lou van den Dries, David Marker, Gary Martin
Definable Equivalence Relations on Algebraically Closed Fields. J. Symb. Log. 54 (3) (1989)
Alexander S. Kechris, David Marker, Ramez L. Sami
Borel Sets. J. Symb. Log. 54 (3) (1989)
Angus Macintyre, David Marker
Primes and Their Residue Rings in Models of Open Induction. Ann. Pure Appl. Log. 43 (1) (1989)
David Marker
Axiomatizable Almost Strongly Minimal Theories. J. Symb. Log. 54 (3) (1989)
David Marker
A Strongly Minimal Expansion of (omega, s). J. Symb. Log. 52 (1) (1987)
David Marker
Omitting Types in O-Minimal Theories. J. Symb. Log. 51 (1) (1986)
David Marker
A model theoretic proof of Feferman's preservation theorem. Notre Dame J. Formal Log. 25 (3) (1984)