Research Papers

1. The degrees of conditional problems, The Journal of Symbolic Logic 59 (1994), no. 1, 166-181.
2. On automorphism groups of countable structures, The Journal of Symbolic Logic 63 (1998), no. 3, 891-896.
3. A dichotomy theorem for mono-unary algebras, Fundamenta Mathematicae 163 (2000), no. 1, 25-37.
4. Coding subset shift by subgroup conjugacy, The Bulletin of the London Mathematical Society 32 (2000), no. 6, 653-657.
5. A remark on Martin's conjecture, The Journal of Symbolic Logic 66 (2001), no. 1, 401-406.
6. (with R. Camerlo) The completeness of the isomorphism relation for countable Boolean algebras, Transactions of the American Mathematical Society 353 (2001), no. 2, 491-518.
7. Some dichotomy theorems for isomorphism relations of countable models, The Journal of Symbolic Logic 66 (2001), no. 2, 902-922.
8. The action of SL(2,Z) on the subsets of Z², Proceedings of the American Mathematical Society 129 (2001), no. 5, 1507-1512.
9. (with P. Gerdes) Computably enumerable equivalence relations, Studia Logica 67 (2001), no. 1, 27-59.
10. (with J. Clemens and A. S. Kechris) Polish metric spaces: their classification and isometry groups, The Bulletin of Symbolic Logic 7 (2001), no. 3, 361-375.
11. Some applications of the Adams-Kechris technique, Proceedings of the American Mathematical Society 130 (2002), no. 3, 863-874.
12. (with A. S. Kechris) On the classification of Polish metric spaces up to isometry, Memoirs of the American Mathematical Society 161, no. 766, 2003, viii+78pp.
13. (with V. Pestov) On a universality property of some abelian Polish groups, Fundamenta Mathematicae 179 (2003), no. 1, 1-15.
14. The homeomorphism problem for countable topological spaces, Topology and Its Applications 139 (2004), no. 1-3, 97-112.
15. (with G. E. Jan, K.-Y. Chang and I. Parberry)  A 4-geometry maze router and its application on multi-terminal nets, ACM Transactions on Design Automation of Electronic Systems (TODAES) 10 (2005), no. 1, 116-135.
16. Unitary group actions and Hilbertian Polish metric spaces, Logic and Its Applications, 53-72. Contemporary Mathematics 380, American Mathematical Society, RI, 2005.
17. (with C. Shao) Random generations of the countable random graph,  Annals of Pure and Applied Logic 143 (2006), 79-86.
18. (with L. Ding) Diagonal actions and Borel equivalence relations, The Journal of Symbolic Logic 71 (2006), no. 4, 1081-1096.
19. Equivalence relations and classical Banach spaces, Mathematical Logic in Asia, 70-89, Proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005,  S.S. Goncharov, R Downey, and H. Ono, eds., World Scientific, 2006.
20. (with L. Ding) On generalizations of Lavrentieff's theorem for Polish group actions, Transactions of the American Mathematical Society 359 (2007), no. 1, 417-426.
21. (with L. Ding) New metrics on free groups, Topology and Its Applications 154 (2007), 410-420.
22. (with A. W. Miller and W. A. R. Weiss) Steinhaus sets and Jackson sets, Advances in Logic, 127-145. Contemporary Mathematics 425, American Mathematical Society, RI, 2007.
23. Complexity ranks of countable models, Notre Dame Journal of Formal Logic 48 (2007), no. 1, 33-48.
24. (with L. Ding) Graev metric groups and Polishable subgroups, Advances in Mathematics 213 (2007), 887-901.
25. (with S. Jackson, M. Laczkovich and R. D. Mauldin) On the unique representation of families of sets, Transactions of the American Mathematical Society 360 (2008), 939-958.
26. (with Y. Zhang) Definable sets of generators in maximal cofinitary groups, Advances in Mathematics 217 (2008), 814-832.
27. (with L. Ding) On separable Banach subspaces, Journal of Mathematical Analysis and Applications 340 (2008), 746-751.
28. (with S. Jackson and V. Kieftenbeld) A classification of ordinals up to Borel isomorphism, Fundamenta Mathematicae 198 (2008), 61-76.
29. (with S. Jackson) Countable abelian group actions and hyperfinite equivalence relations, preprint, 2007.
30. (with M. Oliver) Borel complexity of isomorphism between quotient Boolean algebras, to appear in the Journal of Symbolic Logic.
31. (with S. Jackson and B. Seward) A coloring property for countable groups, preprint, 2007.
32. (with L. van den Dries) A Polish group without Lie sums, preprint, 2008.

Editorial Work

1. Special issue: International Meeting on Logic, Algebra and Geometry. Held in St. Petersburg, June 1-7, 2004. Annals of Pure and Applied Logic 143 (2006), no. 1-3. (coeditors: A. M. Vershik and Y. Zhang)

2. Advances in Logic. The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton. Contemporary Mathematics 425, American Mathematical Society, RI, 2007. (coeditors: S. Jackson and Y. Zhang)