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

DOI10.2307/2273759zbMATH Open0499.03032OpenAlexW2069857499MaRDI QIDQ3964553FDOQ3964553

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

• Recursively enumerable vector spaces
• Controlling the dependence degree of a recursively enumerable vector space
• The elementary theory of abelian groups
• Countable vector spaces with recursive operations Part II
• The constructive theory of countable abelian p-groups
• Title not available (Why is that?)

Cited In (5)

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

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)