David Lippel

Research Assistant Professor

B.A., Haverford College, 1994
Ph.D., University of California, Berkeley, 2001

Research Interests

My research interests are in model theory, the area of mathematical logic that analyzes mathematical structures from the point of view of a formal language. One of my current research projects is to characterize the definable equivalence relations in various analytic expansions of valued fields; these structures provide a setting for rigid analytic geometry. Another on-going project is to deterimine which omega-categorical theories can be finitely axiomatized.

Selected Publications

• With George Weaver, "Classifying ℵ₀-categorical theories. II. The existence of finitely axiomatizable proper class II theories." Studia Logica 60 (1998), no. 2, 275-297.
• "Finitely axiomatizable omega-categorical theories and the Mazoyer Hypothesis", submitted to Journal of Symbolic Logic, preprint available.
• Dissertation: "Finitely axiomatizable, omega-categorical theories". Supervised by Leo Harrington.

Please direct questions and comments to: David.A.Lippel.1@nd.edu