Torsion-Free Abelian Groups are Consistently a Δ^1_2-complete - Saharon Shelah; Douglas Ulrich (2018)