The isomorphism problem for torsion-free abelian groups is analytic complete
The paper proves that the isomorphism problem for torsion-free abelian groups is \(\Sigma_1^1\) complete.
scientific article; zbMATH DE number 5365166
scientific article