Torsion-Free Abelian Groups are Borel Complete

Gianluca Paolini, Saharon Shelah

We prove that the Borel space of torsion-free Abelian groups with domain $\omega$ is Borel complete, i.e., the isomorphism relation on this Borel space is as complicated as possible, as…