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.