Ideals in computable rings

DOI10.1016/j.jalgebra.2007.02.058zbMath1127.03037OpenAlexW2027628811MaRDI QIDQ2456205

Steffen Lempp, Joseph R. Mileti, Rodney G. Downey

Publication date: 17 October 2007

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2007.02.058

zbMATH Keywords

Jacobson radicalreverse mathematicsnilradicalcomputable ring

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Theory of numerations, effectively presented structures (03D45)

Related Items (17)

The computational complexity of module socles ⋮ The computability, definability, and proof theory of Artinian rings ⋮ Reverse mathematics and semisimple rings ⋮ On the complexity of radicals in noncommutative rings ⋮ The complexity of radicals and socles of modules ⋮ Infinite dimensional proper subspaces of computable vector spaces ⋮ Structure of semisimple rings in reverse and computable mathematics ⋮ Effective aspects of Jacobson radicals of rings ⋮ The complexity of decomposability of computable rings ⋮ Orders on computable rings ⋮ Ring structure theorems and arithmetic comprehension ⋮ Subspaces of computable vector spaces ⋮ The complexity of module radicals ⋮ Proper divisibility in computable rings ⋮ The complexity of primes in computable unique factorization domains ⋮ Chain conditions in computable rings ⋮ Characterizing von Neumann regular rings in reverse mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Countable algebra and set existence axioms
• Addendum to ``Countable algebra and set existence axioms
• Recursion theory on fields and abstract dependence
• Computable algebra and group embeddings
• Classical recursion theory. The theory of functions and sets of natural numbers
• Classical recursion theory. Vol. II
• Algebraic and Turing separability of rings
• Subspaces of computable vector spaces
• Constructions in a Polynomial Ring Over the Ring of Integers
• Effective procedures in field theory
• Complete local rings as domains
• Computing Roots of Unity in Fields
• Effective content of field theory
• Constructions in Algebra
• CONSTRUCTIVE ALGEBRAS I
• Computable Algebra, General Theory and Theory of Computable Fields
• ∏ 0 1 Classes and Degrees of Theories
• Constructive Aspects of Noetherian Rings

This page was built for publication: Ideals in computable rings