Recursively presented Abelian groups: Effective p-Group theory. I
From MaRDI portal
Publication:3964553
DOI10.2307/2273759zbMath0499.03032OpenAlexW2069857499MaRDI QIDQ3964553
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
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