The Isomorphism Problem for Torsion - Free Abelian Groups Is Analytic Complete

Abstract

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. 

Topics

Cite this paper

@inproceedings{Montalbn2007TheIP, title={The Isomorphism Problem for Torsion - Free Abelian Groups Is Analytic Complete}, author={Antonio Montalb{\'a}n}, year={2007} }