Recursively presented Abelian groups: Effective p-Group theory. I

DOI10.2307/2273759zbMath0499.03032OpenAlexW2069857499MaRDI QIDQ3964553

Charlotte Lin

Publication date: 1981

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273759

zbMATH Keywords

countable groupsdirect sum of cyclic groupselement of finite heightPruefer's theorem

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Theory of numerations, effectively presented structures (03D45) Abelian groups (20K99)

Related Items

Iterated effective embeddings of abelian p-groups ⋮ COMPUTABLE ABELIAN GROUPS ⋮ Computable topological groups and Pontryagin duality ⋮ The isomorphism problem for computable Abelian _p-groups of bounded length ⋮ Nilpotent groups of finite algorithmic dimension

Cites Work

• The constructive theory of countable abelian p-groups
• Recursively enumerable vector spaces
• Controlling the dependence degree of a recursively enumerable vector space
• Countable vector spaces with recursive operations Part II
• The elementary theory of abelian groups
• Unnamed Item