Recent Publications:

Model Theory
 

1. "Beth's Theorem in Cardinality Logics", Israel J. Math., Vol. 14, No. 2, (1973), pp. 205-212.
2. "Countable Models of Set Theories, Lecture Notes" in Mathematics, Vol. 337, Springer-Verlag, (1973), pp. 539-573.
3. "On Existence Proofs of Hanf Numbers", J. of Symbolic Logic, Vol. 39, No. 2, (1974), pp. 318-324.
4. "Adding Propositional Connectives to Countable Infinitary Logic", Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 77, No. 1, (1975), pp. 1-6.
5. "On Decidability of Equational Theories", J. of Pure and Applied Algebra, Vol. 7, (1976), pp. 1-3.
6. "The Complexity of Explicit Definitions", Advances in Mathematics, Vol. 20, No. 1, (1976), pp. 18-29.
7. "On the Naturalness of Definable Operations", Houston J. Math., Vol. 5, No. 3, (1979), pp. 325-330.
8. (with L. Stanley), "A Borel Reducibility Theory for Classes of Countable Structures", J. of Symbolic Logic, Vol. 54, No. 3, September 1989, pp. 894-914.
9. (with Akos Seress), "Decidability in Elementary Analysis I", Advances in Math., Vol. 76, No. 1, July 1989, pp. 94-115.
10. (with Akos Seress), "Decidability in Elementary Analysis II", Advances in Math., Vol. 79, No. 1, January 1990, pp. 1-17.
11. (with Chris Miller), "Expansions of o-minimal structures by sparse sets", Fundamenta Mathematicae, 167 (2001), 55-64.
12. (with Chris Miller), "Expansions of o-minimal structures by fast sequences", Journal of Symbolic Logic, 70, June, 2005, pp. 410-418.
13. "What is o-minimality?", Logic Colloquium '06, Special issue of Annals of Pure and Applied Logic, Volume 156, Issue 1, November, 2008, pages 59-67. Logic Colloquium 2006.
14. (with Krzysztof Kurdyka, Chris Miller, and Patrick Speissegger), "Expansions of the real field by open sets: definability versus interpretability", The Journal of Symbolic Logic, Volume 75, Number 4, Dec. 2010, 1311-1325.