Constructive Abelian \(p\)-groups (Q1914760)

The author finds a necessary and sufficient condition for a countable abelian \(p\)-group which is not the direct sum of cyclic and quasi-cyclic groups to be (strongly) constructivizable. This gives also a condition for an abelian \(p\)-group whose reduced part has finite Ulm type to be (strongly) constructivizable. Every finite direct power of such a group \(G\) is (strongly) constructivizable iff \(G\) is (strongly) constructivizable.