Research
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 SunYatSen University in 2015, working under my supervision, and now has a position at Fudan University, China.
Postdocs
Recent postdocs at Leeds include Jakub Gismatullin (Wroclaw) and Davide Penazzi. Current postdoc at Notre Dame: Gabriel Conant.
Teaching
Autumn 2015, Basic Logic I, MWF, 11.3012.20, Pasquerilla Center 116.
Spring 2016, Topics in Math. Logic (undergraduates): MWF, 22.50 pm, 213 De Bartolo Hall.
Seminars at Notre Dame.
Model Theory seminar, Sprong 2016, 11 am, Tuesday.
Logic seminar:
Model Theory program at Notre Dame, June 6  24, 2016.
See https://www3.nd.edu/~cmnd/programs/cmnd2016/
for information and registration
CV, January 2016
Publications, January 2016
Lecture
Notes from a sequence of courses at Illinois 20022003:
Model
Theory
Stability
Theory
Applied
Stability Theory
Some
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
publications.)
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.
2010
Model Theory
On the isotriviality of
projective iterative Dvarieties (with P. Kowalski)
Connected
components of groups and ominimality I (with A. Conversano)
Connected
components of groups and ominimality II (with A. Conversano)
A
note on generically stable measures and fsg groups (with E. Hrushovski
and P. Simon)
Affine
Nash groups (with E. Hrushovski)
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.
Weight and
measure in NIP theories
On Levi subgroups and the Levi
decomposition for groups definable in ominimal structures (with A.
Conversano)
On
algebraic relations between solutions of a generic Painlevé
equation (with Ronnie Nagloo)
Topological dynamics and
definable groups
On Borel equivalence relations
and Lascar strong types (with K. Krupinski and S. Solecki)
On the
canonical base property (with E. Hrushovski and D. Palacin).
Some model theory of SL(2,R)
(with J. Gismatullin and D. Penazzi).
On the
algebraic independence of generic Painleve transcendents (with J.
Nagloo)
On groups and fields
interpretable in torsionfree hyperbolic groups (with C. Perin, R.
Sklinos, K, Tent)
Generic stability and stability
(with H. Adler and E. Casanovas)
On
compactifications and the topological dynamics of definable groups
(with J. Gismatullin and D. Penazzi).
Talk at LMS prospects in Maths
meeting, Manchester, Dec. 2012.
Mathematics Colloquium,
Oxford, February 2013.
Relative ManinMumford 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 MordellLang and ManinMumford (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 modeltheoretic 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 LindemannWeierstrass, and Manin maps (with D. Bertrand)
On minimal flows, definable amenability, and ominimality (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)
