David Lippel's Home Page
I am a Research Assistant Professor in the
Mathematics Department of the
University of Notre Dame.
Contents
E-mail: dlippel@nd.edu
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
Spring 2007
- Math 80520: Topics in Logic. Model theory of valued fields.
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.)
David Lippel
Last modified: Tues Jan 15 13:23 EST 2007