On the Borel completeness of torsion-free abelian groups and a Slaman-Wehner degree spectrum
It was recently shown by Paolini and Shelah, with another proof by Laskowski and Ulrich, that torsion-free abelian groups are Borel complete. This means that isomorphism for torsion-free abelian groups is as complicated as possible, so that torsion-free abelian groups do not admit any meaningful complete isomorphism invariants. We give a proof following the ideas of the Paolini-Shelah argument but with several expository advantages. In particular, the combinatorial part of the argument is much simplified. We make use of the ideas of this proof to show that there is a torsion-free abelian group with no computable copy but with a copy computable from every non-computable set. This answers a long-standing question of Downey and Goncharov.
math.LO↗