Computability of the class of strongly constructivizable abelian \(p\)-groups
From MaRDI portal
Publication:1307188
zbMath0924.03056MaRDI QIDQ1307188
Publication date: 28 October 1999
Published in: Siberian Advances in Mathematics (Search for Journal in Brave)
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