I am currently interested in o-minimality and its interactions with other areas of mathematics.


The additive groups of ℤ and ℚ with predicates for being square-free. [pdf, arXiv]
with Minh Chieu Tran, Accepted, Journal of Symbolic Logic.
View one of our structures in the model theory universe.
A reproof of the Pila-Wilkie theorem.
Lou van den Dries.