The solution of a decision problem for several classes of rings

DOI10.2140/pjm.1970.34.547zbMath0198.02701OpenAlexW1996766588MaRDI QIDQ2540267

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

Related Items

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