Recursive elements and constructive extensions of computable local integral domains

DOI10.2307/2272062zbMath0276.02028OpenAlexW1987339888MaRDI QIDQ4401430

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

• Effective procedures in field theory
• Some Studies on Semi-local Rings
• Unnamed Item
• Unnamed Item