Computability of the class of strongly constructivizable abelian \(p\)-groups

zbMath0924.03056MaRDI QIDQ1307188

B. S. Kalenova

Publication date: 28 October 1999

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

\(n\)-computabilityabelian \(p\)-groupdecidable groupstrongly constructivizable group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Direct sums, direct products, etc. for abelian groups (20K25) 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