Published online by Cambridge University Press: 08 October 2003
The problem of classifying finitely generated groups up to virtual isomorphism is strictly harder than that of classifying them up to isomorphism, in the sense that there is a Borel reduction from the isomorphism problem to the virtual isomorphism problem, but not vice versa.Research partially supported by NSF Grants.