Recursive properties of Euclidean domains

DOI10.1016/0168-0072(85)90035-1zbMath0574.03029OpenAlexW2053184952MaRDI QIDQ1062977

Leonard Schrieber

Publication date: 1985

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(85)90035-1

zbMATH Keywords

Euclidean functionrecursively presented Euclidean domainsrecursively presented rings

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Proper divisibility in computable rings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• About Euclidean rings
• Effective procedures in field theory
• Effective content of field theory
• Constructions in Algebra
• Computable Algebra, General Theory and Theory of Computable Fields
• The Euclidean algorithm

This page was built for publication: Recursive properties of Euclidean domains