The solution of a decision problem for several classes of rings
From MaRDI portal
Publication:2540267
DOI10.2140/pjm.1970.34.547zbMath0198.02701MaRDI QIDQ2540267
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
Related Items
Ideal membership in polynomial rings over the integers, Effective results for unit equations over finitely generated integral domains, The word problem for free fields, 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