Decidability and Computability of Certain Torsion-Free Abelian Groups

作者：Downey Rodney G^*; Goncharov Sergei S; Kach Asher M; Knight Julia F; Kudinov Oleg V; Melnikov Alexander G; Turetsky Daniel

来源：Notre Dame Journal of Formal Logic, 2010, 51(1): 85-96.

DOI：10.1215/00294527-2010-006

• completely decomposable torsion-free abelian groups
• coding in groups

We study completely decomposable torsion-free abelian groups of the form gS = circle plus n epsilon SQpn for sets S subset of omega. We show that gS has a decidable copy if and only if S is Sigma(0)(2) and has a computable copy if and only if S is Sigma(0)(3).

• 出版日期2010