A criterion for strong constructivizability of a class of abelian p- groups (Q1071757)

The concept of a strongly constructive model was introduced by \textit{Yu. L. Ershov} [Decision problems and constructivizable models (Russian) (1980; Zbl 0495.03009), p. 295]. In Proc. 7th Kazakhstan Inter-VUZ Conf. Math. Mech., Karaganda, p. 122 (1981), we announced a criterion for strong constructivizability of an Abelian p-group of the form \(C+C_{p^{\infty}}^{(\omega)}\), where C is a reduced Abelian p-group with Ulm type \(\tau (C)=2\). In this note we give a proof of this criterion.