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

DOI10.1090/proc/12509zbMath1347.03083arXiv1311.1865OpenAlexW1964777739MaRDI 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

Torsion-free groups, infinite rank (20K20) Torsion-free groups, finite rank (20K15) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (8)

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

Cites Work

• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: The decomposability problem for torsion-free abelian groups is analytic-complete