The complexity of decomposability of computable rings

DOI10.1215/00294527-2023-0003MaRDI QIDQ6100980zbMATH OpenOpenAlexFDO

Authors H. S. Wu

Publication date 31 May 2023

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2023-0003

zbMATH Keywords

block decomposable ringscomputable ringsdecomposable rings

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Complexity of computation (including implicit computational complexity) (03D15) Applications of computability and recursion theory (03D80)

Recommendations

• On the complexity of radicals in noncommutative rings
• scientific article; zbMATH DE number 1390022
• scientific article; zbMATH DE number 1553567
• The complexity of module radicals
• The decomposability problem for torsion-free abelian groups is analytic-complete

Cites work

• Classification from a Computable Viewpoint
• Computability and randomness
• Computable abelian groups
• Computable completely decomposable groups
• Computable structures and the hyperarithmetical hierarchy
• scientific article; zbMATH DE number 1633834 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• Ideals in computable rings
• On the complexity of radicals in noncommutative rings
• The complexity of module radicals
• The computational complexity of torsion-freeness of finitely presented groups
• The decomposability problem for torsion-free abelian groups is analytic-complete
• The isomorphism problem for computable Abelian _p-groups of bounded length
• The isomorphism problem for torsion-free abelian groups is analytic complete
• The isomorphism relation on countable torsion free abelian groups
• Turing computability. Theory and applications

Cited in

(3)

• Complexity of elements in rings
• The complexity of module radicals
• The computational complexity of module socles

This page was built for publication: The complexity of decomposability of computable rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6100980)