33 found
Order:
Disambiguations
David Marker [32]David E. Marker [3]
  1.  11
    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.  10
    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.
  3.  20
    Definable Types in o-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  4.  18
    Additive Reducts of Real Closed Fields.David Marker, Ya'acov Peterzil & Anand Pillay - 1992 - Journal of Symbolic Logic 57 (1):109-117.
  5. Π11 Borel Sets.Alexander S. Kechris, David Marker & Ramez L. Sami - 1989 - Journal of Symbolic Logic 54 (3):915 - 920.
  6.  5
    Definable Types in $Mathscr{O}$-Minimal Theories.David Marker & Charles I. Steinhorn - 1994 - Journal of Symbolic Logic 59 (1):185-198.
  7.  7
    A Remark on Zilber's Pseudoexponentiation.David Marker - 2006 - Journal of Symbolic Logic 71 (3):791 - 798.
  8.  11
    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  
  9.  15
    Non Σn Axiomatizable Almost Strongly Minimal Theories.David Marker - 1989 - Journal of Symbolic Logic 54 (3):921 - 927.
  10.  15
    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  
  11.  17
    Omitting Types in o-Minimal Theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.
  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.  9
    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  
  14.  11
    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  
  15.  5
    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.
  16.  18
    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.
  17.  10
    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  
  18.  3
    Scattered sentences have few separable randomizations.Uri Andrews, Isaac Goldbring, Sherwood Hachtman, H. Jerome Keisler & David Marker - 2020 - Archive for Mathematical Logic 59 (5):743-754.
    In the paper Randomizations of Scattered Sentences, Keisler showed that if Martin’s axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is “yes”. It follows that the absolute Vaught conjecture holds if and only if every \-sentence with few separable randomizations has countably many countable models.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  7
    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  
  20.  7
    A Strongly Minimal Expansion of (Ω, S).David Marker - 1987 - Journal of Symbolic Logic 52 (1):205-207.
  21.  24
    Definable Equivalence Relations on Algebraically Closed Fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
  22.  14
    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  
  23.  12
    Bounds on Scott Rank for Various Nonelementary Classes.David Marker - 1990 - Archive for Mathematical Logic 30 (2):73-82.
  24.  11
    Preface.Douglas Cenzer, Valentina Harizanov, David Marker & Carol Wood - 2009 - Archive for Mathematical Logic 48 (1):1-6.
  25.  8
    $Pi^1_1$ Borel Sets.Alexander S. Kechris, David Marker & Ramez L. Sami - 1989 - Journal of Symbolic Logic 54 (3):915-920.
  26.  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.
    We prove that for every Scott set S there are S-saturated real closed fields and S-saturated models of Presburger arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  4
    Omitting Types in $Mathscr{O}$-Minimal Theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.
  28.  5
    Enumerations of Turing Ideals with Applications.David Marker - 1990 - Notre Dame Journal of Formal Logic 31 (4):509-514.
  29.  3
    2000-2001 Winter Meeting of the Association for Symbolic Logic.David E. Marker - 2001 - Bulletin of Symbolic Logic 7 (3):404-412.
  30.  3
    Review: Charles Steinhorn, Borel Structures for First-Order and Extended Logics. [REVIEW]David Marker - 1990 - Journal of Symbolic Logic 55 (2):874-875.
  31.  2
    Review: Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields. [REVIEW]David E. Marker - 1998 - Journal of Symbolic Logic 63 (2):744-746.
  32.  3
    End Extensions of Normal Models of Open Induction.David Marker - 1991 - Notre Dame Journal of Formal Logic 32 (3):426-431.
  33. 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).