Recursive elements and constructive extensions of computable local integral domains

DOI10.2307/2272062zbMATH Open0276.02028OpenAlexW1987339888MaRDI QIDQ4401430FDOQ4401430

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)