The decomposability problem for torsion-free abelian groups is analytic-complete
From MaRDI portal
Publication:5255271
DOI10.1090/proc/12509zbMath1347.03083arXiv1311.1865OpenAlexW1964777739MaRDI QIDQ5255271
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
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
This page was built for publication: The decomposability problem for torsion-free abelian groups is analytic-complete