Computability of the class of strongly constructivizable Abelian \(p\)-groups
From MaRDI portal
Publication:1284377
zbMath0918.20042MaRDI QIDQ1284377
Publication date: 26 April 1999
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
direct sumsAbelian \(p\)-groupsUlm subgroups\(n\)-computabilitystrong computabilitystrongly constructivizable groups
Torsion groups, primary groups and generalized primary groups (20K10) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)
This page was built for publication: Computability of the class of strongly constructivizable Abelian \(p\)-groups