Proper divisibility in computable rings

DOI10.1016/J.JALGEBRA.2016.11.010MaRDI QIDQ504325zbMATH OpenOpenAlexFDO

Authors Noam Greenberg, Alexander Melnikov

Publication date 16 January 2017

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

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

zbMATH Keywords

ACAACCPcomputabilitycomputable ringconstructive (effective) algebradivisibility relationintegral domainintegral domain theoryreverse mathematicsringUFDunique factorization

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Integral domains (13G05) Integral domains (associative rings and algebras) (16U10)

Recommendations

• Isomorphisms, definable relations, and Scott families for integral domains and commutative semigroups
• Ideals in computable rings
• Irreducibles and Primes in Computable Integral Domains
• Arithmetic of divisibility in finite models
• The complexity of primes in computable unique factorization domains

Cites work

• AP-domains and unique factorization.
• Chain conditions in computable rings
• Computable Algebra, General Theory and Theory of Computable Fields
• Computable structures and the hyperarithmetical hierarchy
• CONSTRUCTIVE ALGEBRAS I
• Countable algebra and set existence axioms
• Effective content of field theory
• Effective procedures in field theory
• Euclidean functions of computable Euclidean domains
• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 3805536 (Why is no real title available?)
• scientific article; zbMATH DE number 3450357 (Why is no real title available?)
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3069327 (Why is no real title available?)
• Ideals in computable rings
• Iterated effective embeddings of abelian p-groups
• Jump degrees of torsion-free abelian groups
• Recursive properties of Euclidean domains
• Recursively enumerable vector spaces
• Subsystems of second order arithmetic

Cited in

(4)

• The complexity of primes in computable unique factorization domains
• Ideals in computable rings
• Chain conditions in computable rings
• Primitive recursive reverse mathematics

This page was built for publication: Proper divisibility in computable rings

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