David Lippel's Home Page

Contents

• Contact Information
• Teaching
• Research

Contact Information

Office: 118 Hayes-Healy Center

Telephone: (574) 631-6505

Fax: (574) 631-6579

Postal Address

    Department of Mathematics
    255 Hurley Hall
    Notre Dame, IN 46556-4618
    USA
    

Teaching

Spring 2007

• Math 80520: Topics in Logic. Model theory of valued fields.

Research

My area of research is model theory, a branch of mathematical logic.

Slides from talks

• Notre Dame Logic Seminar, 24 April 2008: "Positive elimination in valued fields" pdf

Papers

• "Finitely axiomatizable omega-categorical theories and the Mazoyer hypothesis", in The Journal of Symbolic Logic, June 2005. (E-mail me for a copy of the preprint.)

Preprints and other publications

• with Dugald Macpherson. "Imaginaries in valued fields", notes for the Newton Institute workshop entitled "An introduction to recent applications of model theory" (April 2005). Notes can be found at the Newton Institute's Web Seminars page (link to the notes via Macpherson's lectures).
• "Hrushovski's stable pseudoplanes are not finitely axiomatizable", notes, pdf.
• "Finitely axiomatizable omega-categorical theories", Ph.D. dissertation, University of California, Berkeley, 2001. pdf or dvi
  • (Note: Example 2.2.17 is false (as noted by David Evans). There, I erroneously claimed that the algebraic closure operator in a Hrushovski-style generic structure is k-degenerate. However, it is still true that Hrushovski's omega-categorical pseudoplanes are not finitely axiomatizable; see above.)