Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group (Q1080958)

S. S. Goncharov presented, at the 5th All-Union (USSR) Conference on Mathematical Logic, the following open problem: is the reduced part of a constructive, torsion-free abelian group constructivizable? In the present paper, the authors give a negative answer to this problem. An abelian group A is called strongly constructive (constructive), if the fundamental set of the group A is the set \(\omega\) of all natural numbers, and there exists an algorithm, which for any (atomic) formula \(\phi (x_ 0,...,x_{s-1})\) of the restricted predicate calculus of the group signature, and any numbers \(n_ 0,...,n_{s-1}\in \omega\), defines whether or not \(\phi (n_ 0,...,n_{s-1})\) is true in A. The group A is called (strongly) constructivizable, if it is isomorphic to some (strongly) constructive group. The authors prove that there exists a strongly constructivizable torsion-free abelian group whose reduced part is nonconstructivizable (Corollary 2).