* "Model Theory: A Guide for the Perplexed": A comprehensive introduction to model theory for mathematicians and students.
* "Tame Topology and O-minimal Structures": A seminal work on o-minimal structures, which are a special class of ordered structures with nice topological properties.
* "Geometric Stability Theory": A book on geometric stability theory, which studies the stability of geometric objects and their properties.
* "A Generalization of the Tarski-Seidenberg Theorem, and Some Nondefinability Results": A research article on the generalization of the Tarski-Seidenberg theorem, a fundamental result in real algebraic geometry.
These are just a few examples of his works. He has also made significant contributions to the study of p-adic fields, definable sets, and other topics in model theory.