David Marker

Connecting

Teaching

• Fall 2007
  • Math 512 Topics in Logic--Team taught with John Baldwin, et. al.
    • Lecture Notes on Infintary Logic
      • Sections 1 and 2
      • Section 3
      • Section 4
      • Section 5
    • David Kueker's lecture notes on countable approximations
    • David Kueker's lecture notes on finite character and infinitary languages
• Spring 2008
  • Math 504: Set Theory I
  • Honors 201: The Mathematics of Texas Hold'em
• Previous Courses

Research Interests

• real algebraic geometry and real analytic geometry
• exponentiation
• differential algebra

Further Information

• A brief CV
• publication list

Some available preprints (postscript files)

• Logaritmic-exponential power series (with Lou van den Dries and Angus Macintrye)
• An introduction to the Model Theory of Fields
• Model theory of differential fields
• A survey article on Model theory and real exponentiation submitted to the AMS Notices.
• A failure of quantifier elimination (with A. Macintyre)
• Levelled o-minimal structures (with C. Miller)
• Differential Galois theory III: some inverse problems (with A. Pillay)
• A survey article Strongly minimal sets and geometry on the pregeometries of strongly minimal sets and Hrushovski's application to diophanitne geometry.
• Slides from 10/17 Berkeley logic colloquium on logarithmic-exponential series.
• Lecture notes from my seminar on ACFA are available here.
• Logarithmic-exponential series (with L. van den Dries and A. Macintyre)
• Manin kernels
• MSRI survey on Model theory of differential fields
• MSRI survey Introduction to Model Theory
• My book Model Theory: an Introduction, an introductory text in model theory has just been published by Springer (Graduate Texts in Mathematics 217). Here are:
  • A detailed summary of contents
  • An excerpt from the introduction
  • A list of known errors
• Lecture notes on Descriptive Set Theory
• slides from lecture at RSME-ASM meeting in Seville (pdf file)
• slides from lecture at Notre Dame on Vaught's Conjecture for Differentially Closed Fields Part I , Part II (pdf files)
• Decidability of the Natural Numbers with the Almost-All Quantifier with Ted Slaman (pdf)
• Remarks on Zilbers Pseudoexponentiation (pdf)
• The Borel Complexity of Isomorphism for Theories with Many Types (pdf)