2001 |
12 | | Lou van den Dries,
Angus Macintyre,
David Marker:
Logarithmic-exponential series.
Ann. Pure Appl. Logic 111(1-2): 61-113 (2001) |
1994 |
11 | | David Marker,
Charles Steinhorn:
Definable Types in O-Minimal Theories.
J. Symb. Log. 59(1): 185-198 (1994) |
1992 |
10 | | David Marker,
Ya'acov Peterzil,
Anand Pillay:
Additive Reducts of Real Closed Fields.
J. Symb. Log. 57(1): 109-117 (1992) |
1991 |
9 | | David Marker:
End Extensions of Normal Models of Open Induction.
Notre Dame Journal of Formal Logic 32(3): 426-431 (1991) |
1990 |
8 | | David Marker,
Anand Pillay:
Reducts of (C, +, ·) which Contain +.
J. Symb. Log. 55(3): 1243-1251 (1990) |
7 | | David Marker:
Enumerations of Turing Ideals with Applications.
Notre Dame Journal of Formal Logic 31(4): 509-514 (1990) |
1989 |
6 | | Angus Macintyre,
David Marker:
Primes and Their Residue Rings in Models of Open Induction.
Ann. Pure Appl. Logic 43(1): 57-77 (1989) |
5 | | Alexander S. Kechris,
David Marker,
Ramez L. Sami:
pi11 Borel Sets.
J. Symb. Log. 54(3): 915-920 (1989) |
4 | | David Marker:
Non Sigman Axiomatizable Almost Strongly Minimal Theories.
J. Symb. Log. 54(3): 921-927 (1989) |
3 | | Lou van den Dries,
David Marker,
Gary Martin:
Definable Equivalence Relations on Algebraically Closed Fields.
J. Symb. Log. 54(3): 928-935 (1989) |
1987 |
2 | | David Marker:
A Strongly Minimal Expansion of (omega, s).
J. Symb. Log. 52(1): 205-207 (1987) |
1986 |
1 | | David Marker:
Omitting Types in O-Minimal Theories.
J. Symb. Log. 51(1): 63-74 (1986) |