Recursive elements and constructive extensions of computable local integral domains

DOI10.2307/2272062MaRDI QIDQ4401430zbMATH OpenOpenAlexFDO

Authors Glen H. Suter

Publication date 1973

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272062

Mathematics Subject Classification ID

Integral domains (13G05) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3198931 (Why is no real title available?)
• Effective procedures in field theory
• Some Studies on Semi-local Rings

This page was built for publication: Recursive elements and constructive extensions of computable local integral domains

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