Strongly constructive Abelian p-groups

DOI10.1007/BF01978667MaRDI QIDQ1060297zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3973173 (Why is no real title available?)
• scientific article; zbMATH DE number 3715794 (Why is no real title available?)
• scientific article; zbMATH DE number 3787040 (Why is no real title available?)
• scientific article; zbMATH DE number 3615021 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3332554 (Why is no real title available?)
• scientific article; zbMATH DE number 3406215 (Why is no real title available?)
• A criterion for strong constructivizability of a class of abelian p- groups

Cited in

(8)

• Hierarchies of torsion-free Abelian groups
• Computability of the class of strongly constructivizable Abelian \(p\)-groups
• Computability of the class of strongly constructivizable abelian \(p\)-groups
• Theory of Abelian groups with constructive models
• scientific article; zbMATH DE number 3922979 (Why is no real title available?)
• scientific article; zbMATH DE number 14727 (Why is no real title available?)
• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups
• Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1060297)