arXiv:2209.06898 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords borel complexity, torsion-free abelian groups, isomorphism types, borel completeness, succinct proof Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset