Research
Model theory, as well as applications
(algebra, geometry, number theory,..).
Graduate students
Atticus Stonestrom
Recent graduate students
David Meretzky, Nicolas Chavarria Gomez, Greg Cousins
Postdocs
Recent postdocs: Michael Wibmer (now at Leeds), Remi Jaoui (now CNRS), Daniel Hoffmann (now Warsaw), Chieu-Minh Tran (now NUS Singapore)
Teaching
Spring 2026, Introduction to Math. Reasoning.
.
Seminars at Notre Dame.
Model Theory seminar, 11 am, Tuesday. 125 HH.
Logic seminar: 2 pm Tuesdays. 125 HH.
EDITORIAL.
I am an editor of Algebra and Number Theory ( http://msp.org/publications/journals/#ant),
Editor-in-Chief (joint with Curtis Franks) of the Notre Dame Journal of Formal Logic ( http://www3.nd.edu/~ndjfl/ ),
on the editorial boards of Illinois J. Math., and Journal of Open Math. problems.
Lecture
Notes from a sequence of courses at Illinois 2002-2003:
Model
Theory
Stability
Theory
Applied
Stability Theory
Lecture notes from recent advanced courses at Notre Dame.
Model theory of differential fields (and omega-stability)
Pseudofinite model theory: lectures notes from Fall 2014 course
Categorical Logic. Notes from Spring 2017 course
Stability Theory. Notes from Autumn 2018 course
Slides of some talks
Pseudofinite model theory and combinatorics, Mini-course in Fudan, May 2019
Compact spaces, definability.
Slides from Tarski lectures, Berkeley, April 2009.
Measures in model
theory. Slides from talk in Logic and Set theory meeting, Chennai, Aug.
2010
Model
theory, stability, and the free group, Notes from a series of 5 talks
at a workshop on geometric group theory and logic, UIC, Aug. 2011
First
order theories, Goedel lecture, ASL European Meeting, Barcelona 2011.
Recent preprints, and other unpublshed things. (Please contact me directly if
you want electronic files of other papers from my complete list of
publications.)
Lecture notes on strongly minimal
sets with a generic automorphism (graduate course in UIUC, 1999)
Model Theory
Remarks on Tao's algebraic regularity lemma (with S. Starchenko).
Remarks and questions on infinitesimal stabilizers.
Strongly minimal pseudofinite structures.
|