THE ISOMORPHISM PROBLEM FOR TORSION-FREE ABELIAN GROUPS IS ANALYTIC COMPLETE.

By R. Downey, Antonio Montalbán. 2008

70 citations recorded by the source corpus.

We prove that the isomorphism problem for torsion-free Abelian groups is as complicated as any isomorphism problem could be in terms of the analytical hierarchy, namely 1 complete.

Subfields: Computational Theory and Mathematics, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/b0e04abc82519860fbb01d4624ec2c916182e216