The decomposability problem for torsion-free abelian groups is analytic-complete

DOI10.1090/proc/12509zbMath1347.03083arXiv1311.1865MaRDI QIDQ5255271

Kyle Riggs

Publication date: 12 June 2015

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.1865

zbMATH Keywords

decomposable torsion-free abelian group

Mathematics Subject Classification ID

20K20: Torsion-free groups, infinite rank

20K15: Torsion-free groups, finite rank

03C57: Computable structure theory, computable model theory

03D45: Theory of numerations, effectively presented structures

Related Items

Torsion-free abelian groups with optimal Scott families, AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES, Decompositions of decidable abelian groups, Characterizations of cancellable groups, ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES, The complexity of decomposability of computable rings, The computational complexity of module socles, Using computability to measure complexity of algebraic structures and classes of structures

Cites Work

• The isomorphism problem for torsion-free abelian groups is analytic complete
• Decidability and computability of certain torsion-free abelian groups
• Effectively categorical abelian groups
• Computable completely decomposable groups
• Unnamed Item
• Unnamed Item