The solution of a decision problem for several classes of rings

DOI10.2140/PJM.1970.34.547MaRDI QIDQ2540267zbMATH OpenOpenAlexFDO

Authors Harold Simmons

Publication date 1970

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.1970.34.547

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(10)

• On constructing bases for ideals in polynomial rings over the integers
• Some algorithmic problems for projective planes
• Existence theorems in mathematics
• Coherence of polynomial rings and bounds in polynomial ideals
• A solution to Kronecker's problem
• Decision procedure of some relevant logics: a constructive perspective
• One hundred and two problems in mathematical logic
• Ideal membership in polynomial rings over the integers
• Effective results for unit equations over finitely generated integral domains
• The word problem for free fields

This page was built for publication: The solution of a decision problem for several classes of rings

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