Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups

DOI10.1007/BF01979868zbMath0592.03019MaRDI QIDQ1075317

N. G. Khisamiev

Publication date: 1984

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187273

zbMATH Keywords

complete decidable theories of Abelian groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Computable structure theory, computable model theory (03C57) Abelian groups (20K99)

Related Items (3)

Equational theories for the varieties of metabelian and commutative rings ⋮ On Specht varieties of right alternative algebras ⋮ Locally Noetherian and locally representable varieties of alternative algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Some constructivizations of Abelian groups
• Strongly constructive Abelian p-groups
• A criterion for strong constructivizability of a class of abelian p- groups
• Recursively presentable prime models

This page was built for publication: Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups