Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group

DOI10.1007/BF01978707zbMath0601.20051MaRDI QIDQ1080958

N. G. Khisamiev, Z. G. Khisamiev

Publication date: 1985

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

Full work available at URL: https://eudml.org/doc/187305

zbMATH Keywords

restricted predicate calculustorsion-free abelian groupreduced part of an abelian groupstrongly constructivestrongly constructivizable torsion-free abelian group

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Torsion-free groups, infinite rank (20K20) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (6)

The complexity of the word problem for abelian l-groups ⋮ On Constructive Nilpotent Groups ⋮ On homogeneous Abelian groups ⋮ Calculable enumerations and equivalence relations ⋮ Hierarchies of torsion-free Abelian groups ⋮ COMPUTABLE ABELIAN GROUPS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some constructivizations of Abelian groups
• Strongly constructive Abelian p-groups
• Primitive torsionsfreie Abelsche Gruppen vom endlichen Range

This page was built for publication: Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group