Strongly constructive Abelian p-groups

DOI10.1007/BF01978667zbMath0568.20052MaRDI QIDQ1060297

N. G. Khisamiev

Publication date: 1983

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

recursivenessconstructive Abelian p-groupscountable Abelian p-groupsrestricted calculus of predicatesstrong constructivizability of Abelian p-groupsstrongly constructive groupstrongly constructive model

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion groups, primary groups and generalized primary groups (20K10) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group ⋮ Theory of Abelian groups with constructive models ⋮ Hierarchies of torsion-free Abelian groups ⋮ Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups

Cites Work

• A criterion for strong constructivizability of a class of abelian p- groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strongly constructive Abelian p-groups