Model theory, in and for itself, as well as applications
(algebra, geometry, number theory,..).
Current graduate students
Gregory Cousins (Notre Dame), Mike Haskell (Notre Dame), Somayeh Vojdani (Notre Dame).
Recent graduate students from Leeds include Rizos Sklinos, now at Lyon, Charlotte Kestner and Davide Penazzi, both now at University of Central Lancashire, Gareth Boxall, now at Stellenbosch, South Africa, and Joel (Ronnie) Nagloo, a postdoc at CUNY, New York, and moving to Bronx Community College. Ningyuan Yao got his PH.D. from Sun-Yat-Sen University in 2015, working under my supervision, and now has a position at Fudan University, China.
Recent postdocs at Leeds include Jakub Gismatullin (Wroclaw) and Davide Penazzi. Current postdoc at Notre Dame: Gabriel Conant.
Autumn 2015, Basic Logic I, MWF, 11.30-12.20, Pasquerilla Center 116.
Spring 2016, Topics in Math. Logic (undergraduates): MWF, 2-2.50 pm, 213 De Bartolo Hall.
Seminars at Notre Dame.
Model Theory seminar, Sprong 2016, 11 am, Tuesday.
Model Theory program at Notre Dame, June 6 - 24, 2016.
for information and registration
CV, January 2016
Publications, January 2016
Notes from a sequence of courses at Illinois 2002-2003:
recent preprints, notes, slides of talks, and other things. (Please contact me directly if
you want electronic files of other papers from my complete list of
Lecture notes on strongly minimal
sets with a generic automorphism (graduate course in UIUC, 1999)
Logarithmic derivatives on
nonconstant commutative algebraic groups. Slides from talk on Modnet
meeting, Barcelona, November 2008.
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.
On the isotriviality of
projective iterative D-varieties (with P. Kowalski)
components of groups and o-minimality I (with A. Conversano)
components of groups and o-minimality II (with A. Conversano)
note on generically stable measures and fsg groups (with E. Hrushovski
and P. Simon)
Nash groups (with E. Hrushovski)
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
order theories, Goedel lecture, ASL European Meeting, Barcelona 2011.
measure in NIP theories
On Levi subgroups and the Levi
decomposition for groups definable in o-minimal structures (with A.
algebraic relations between solutions of a generic Painlevé
equation (with Ronnie Nagloo)
Topological dynamics and
On Borel equivalence relations
and Lascar strong types (with K. Krupinski and S. Solecki)
canonical base property (with E. Hrushovski and D. Palacin).
Some model theory of SL(2,R)
(with J. Gismatullin and D. Penazzi).
algebraic independence of generic Painleve transcendents (with J.
On groups and fields
interpretable in torsion-free hyperbolic groups (with C. Perin, R.
Sklinos, K, Tent)
Generic stability and stability
(with H. Adler and E. Casanovas)
compactifications and the topological dynamics of definable groups
(with J. Gismatullin and D. Penazzi).
Talk at LMS prospects in Maths
meeting, Manchester, Dec. 2012.
Oxford, February 2013.
Relative Manin-Mumford for semiabelian surfaces (with D. Bertrand, D. Masser, U. Zannier).
External definability and groups in NIP theories (with A. Chernikov and P. Simon).
Remarks on Tao's algebraic regularity lemma (with S. Starchenko).
Some model theory of fibrations and algebraic reductions (with R. Moosa).
Nash groups, Colloquium, Waterloo, November 2013.
Universal covers of commutative finite Morley rank groups (with M. Bays, B. Hart).
On function field Mordell-Lang and Manin-Mumford (with F. Benoist and E. Bouscaren).
Semiabelian varieties over separably closed fields, maximal divisible subgroups, and exact sequences (revised, with F. Benoist and E. Bouscaren).
Generalized Bohr compactifications and model-theoretic connected components (with K. Krupinski).
Interpretations and differential Galois extensions (with M. Kamensky).
Remarks and questions on infinitesimal stabilizers.
Saturated free algebras revisited (with Rizos Sklinos).
Strongly minimal pseudofinite structures.
Galois theory, functional Lindemann-Weierstrass, and Manin maps (with D. Bertrand)
On minimal flows, definable amenability, and o-minimality (with Ningyuan Yao)
The stable regularity lemma revisited (with M. Malliaris)
Pseudofinite model theory: lectures notes from Fall 2014 course
Remarks on compactifications of pseudofinite groups
Topological dynamics and the complexity of strong types (with K. Krupinski and T. Rzepecki)
On definable Galois groups and the canonical base property (with D. Palacin)