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

DOI10.2307/2273759MaRDI QIDQ3964553zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3786763 (Why is no real title available?)
• Controlling the dependence degree of a recursively enumerable vector space
• Countable vector spaces with recursive operations Part II
• Recursively enumerable vector spaces
• The constructive theory of countable abelian p-groups
• The elementary theory of abelian groups

Cited in

(5)

• The isomorphism problem for computable Abelian _p-groups of bounded length
• Nilpotent groups of finite algorithmic dimension
• Iterated effective embeddings of abelian \(p\)-groups
• Computable topological groups and Pontryagin duality
• Computable abelian groups

This page was built for publication: Recursively presented Abelian groups: Effective p-Group theory. I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3964553)