With Paul Ellis and Scott Schneider. Archive for mathematical logic, 2011. (arχiv | journal)

Abstract: We prove that the conjugacy problem for the automorphism group of the random graph is Borel complete, and discuss the analogous problem for some other countably categorical structures.