Nonconstructivizability of the reduced part of a strongly constructive torsion-free Abelian group
From MaRDI portal
Publication:1080958
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
restricted predicate calculus; torsion-free abelian group; reduced part of an abelian group; strongly constructive; strongly constructivizable torsion-free abelian group
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20K20: Torsion-free groups, infinite rank
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Calculable enumerations and equivalence relations, Hierarchies of torsion-free Abelian groups, The complexity of the word problem for abelian l-groups, On homogeneous Abelian groups, COMPUTABLE ABELIAN GROUPS, On Constructive Nilpotent Groups
Cites Work