32 found
Order:
Disambiguations
David Marker [31]David E. Marker [3]
  1.  3
    Turing Degree Spectra of Differentially Closed Fields.David Marker & Russell Miller - 2017 - Journal of Symbolic Logic 82 (1):1-25.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  14
    Ehud Hrushovski, The Mordell–Lang Conjecture for Function Fields. Journal of the American Mathematical Society, Vol. 9 , Pp. 667–690. [REVIEW]David E. Marker - 1998 - Journal of Symbolic Logic 63 (2):744-746.
  3.  19
    Definable Types in o-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  4. Π11 Borel Sets.Alexander S. Kechris, David Marker & Ramez L. Sami - 1989 - Journal of Symbolic Logic 54 (3):915 - 920.
  5.  4
    Primes and Their Residue Rings in Models of Open Induction.Angus Macintyre & David Marker - 1989 - Annals of Pure and Applied Logic 43 (1):57-77.
  6.  5
    Definable Types in $Mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  7.  17
    Additive Reducts of Real Closed Fields.David Marker, Ya'acov Peterzil & Anand Pillay - 1992 - Journal of Symbolic Logic 57 (1):109-117.
  8.  6
    A Remark on Zilber's Pseudoexponentiation.David Marker - 2006 - Journal of Symbolic Logic 71 (3):791 - 798.
  9.  10
    Logarithmic-Exponential Series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
    We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  13
    Non Σn Axiomatizable Almost Strongly Minimal Theories.David Marker - 1989 - Journal of Symbolic Logic 54 (3):921 - 927.
  11.  11
    The Borel Complexity of Isomorphism for Theories with Many Types.David Marker - 2007 - Notre Dame Journal of Formal Logic 48 (1):93-97.
    During the Notre Dame workshop on Vaught's Conjecture, Hjorth and Kechris asked which Borel equivalence relations can arise as the isomorphism relation for countable models of a first-order theory. In particular, they asked if the isomorphism relation can be essentially countable but not tame. We show this is not possible if the theory has uncountably many types.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  5
    Uncountable Real Closed Fields with Pa Integer Parts.David Marker, James H. Schmerl & Charles Steinhorn - 2015 - Journal of Symbolic Logic 80 (2):490-502.
  13.  10
    Omitting Types in o-Minimal Theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.
  14.  7
    Charles Steinhorn. Borel Structures for First-Order and Extended Logics. Harvey Friedman's Research on the Foundations of Mathematics, Edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in Logic and the Foundations of Mathematics, Vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 161–178. [REVIEW]David Marker - 1990 - Journal of Symbolic Logic 55 (2):874-875.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  8
    Introduction.Zoé Chatzidakis, David Marker, Amador Martin-Pizarro, Rahim Moosa & Sergei Starchenko - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):277-277.
    Zoé Chatzidakis , David Marker , Amador Martin-Pizarro , Rahim Moosa , Sergei Starchenko Source: Notre Dame J. Formal Logic, Volume 54, Number 3-4, 277--277.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  5
    The Number of Countable Differentially Closed Fields.David Marker - 2007 - Notre Dame Journal of Formal Logic 48 (1):99-113.
    We outline the Hrushovsk-Sokolović proof of Vaught's Conjecture for differentially closed fields, focusing on the use of dimensions to code graphs.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  3
    Degrees of Models of True Arithmetic.David Marker, J. Stern, Julia Knight, Alistair H. Lachlan & Robert I. Soare - 1987 - Journal of Symbolic Logic 52 (2):562-563.
  18.  6
    A Model Theoretic Proof of Feferman's Preservation Theorem.David Marker - 1984 - Notre Dame Journal of Formal Logic 25 (3):213-216.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  5
    A Strongly Minimal Expansion of (Ω, S).David Marker - 1987 - Journal of Symbolic Logic 52 (1):205-207.
  20.  12
    Bounds on Scott Rank for Various Nonelementary Classes.David Marker - 1990 - Archive for Mathematical Logic 30 (2):73-82.
  21.  11
    University of California, Irvine Irvine, California March 27–30, 2008.Sam Buss, Stephen Cook, José Ferreirós, David Marker, Theodore Slaman & Jamie Tappenden - 2008 - Bulletin of Symbolic Logic 14 (3).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  14
    Definable Equivalence Relations on Algebraically Closed Fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
  23.  7
    Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
  24.  7
    $Pi^1_1$ Borel Sets.Alexander S. Kechris, David Marker & Ramez L. Sami - 1989 - Journal of Symbolic Logic 54 (3):915-920.
  25.  6
    Representing Scott Sets in Algebraic Settings.Alf Dolich, Julia F. Knight, Karen Lange & David Marker - 2015 - Archive for Mathematical Logic 54 (5-6):631-637.
  26.  4
    Omitting Types in $Mathscr{O}$-Minimal Theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.
  27.  5
    Enumerations of Turing Ideals with Applications.David Marker - 1990 - Notre Dame Journal of Formal Logic 31 (4):509-514.
  28.  3
    2000-2001 Winter Meeting of the Association for Symbolic Logic.David E. Marker - 2001 - Bulletin of Symbolic Logic 7 (3):404-412.
  29.  3
    Review: Charles Steinhorn, Borel Structures for First-Order and Extended Logics. [REVIEW]David Marker - 1990 - Journal of Symbolic Logic 55 (2):874-875.
  30.  2
    Review: Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields. [REVIEW]David E. Marker - 1998 - Journal of Symbolic Logic 63 (2):744-746.
  31.  2
    End Extensions of Normal Models of Open Induction.David Marker - 1991 - Notre Dame Journal of Formal Logic 32 (3):426-431.
  32. 2008 Annual Meeting of the Association for Symbolic Logic-University of California, Irvine-Irvine, California-March 27-30, 2008-Abstracts. [REVIEW]Sam Buss, Stephen Cook, Jos Ferreirs, Andy Lewis, David Marker, Theodore Slaman & Jamie Tappenden - 2008 - Bulletin of Symbolic Logic 14 (3).