Coskey, Samuel, Ellis, Paul, and Schneider, Scott, The conjugacy problem for the automorphism group of the random graph, 2009, submitted and available at arXiv:0902.4038v2 [math.L0].
Enayat, Ali, Automorphisms of models of arithmetic: a unified view, Annals of Pure and Applied Logic, vol. 145 (2007), no. 1, pp. 16–36.
Friedman, Harvey and Stanley, Lee, A Borel reducibility theory for classes of countable structures, The Journal of Symbolic Logic, vol. 54 (1989), no. 3, pp. 894–914.
Gaifman, Haim, Models and types of Peano's arithmetic, Annals of Mathematical Logic, vol. 9 (1976), no. 3, pp. 223–306.
Harrington, Leo A., Kechris, Alexander S., and Louveau, Alain, Borel equivalence relations and classifications of countable models, Journal of the American Mathematical Society, vol. 3 (1990), no. 4, pp. 903–928.
Hjorth, Greg and Kechris, Alexander S., Borel equivalence relations and classifications of countable models, Annals of Pure and Applied Logic, vol. 82 (1996), no. 3, pp. 221–272.
Kanovei, Vladimir, Borel equivalence relations: Structure and classification, University Lecture Series, vol. 44, American Mathematical Society, Providence, RI, 2008.
Kaye, Richard, Kossak, Roman, and Kotlarski, Henryk, Automorphisms of recursively saturated models of arithmetic, Annals of Pure and Applied Logic, vol. 55 (1991), no. 1, pp. 67–99.
Kossak, Roman and Schmerl, James H., The structure of models of Peano arithmetic, Oxford Logic Guides, vol. 50, The Clarendon Press Oxford University Press, Oxford, 2006.
Kotlarski, Henryk, Full satisfaction classes: a survey, Notre Dame Journal of Formal Logic, vol. 32 (1991), no. 4, pp. 573–579.
Marker, David, The Borel complexity of isomorphism for theories with many types, Notre Dame Journal of Formal Logic, vol. 48 (2007), no. 1, pp. 93–97 (electronic).
Smoryński, C., Recursively saturated nonstandard models of arithmetic, The Journal of Symbolic Logic, vol. 46 (1981), no. 2, pp. 259–286.
Smoryński, C., Back-and-forth inside a recursively saturated model of arithmetic, Logic Colloquium '80 (Prague, 1980), North-Holland, Amsterdam, 1982, pp. 273–278.