Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
complete decidable theories of Abelian groups
scientific article; zbMATH DE number 3950496