An algorithmic approach to the existence of ideal objects in commutative algebra
From MaRDI portal
Publication:6315233
DOI10.1007/978-3-662-59533-6_32zbMath1530.03161arXiv1903.03070MaRDI QIDQ6315233
Peter M. Schuster, Franziskus Wiesnet, Thomas M. Powell
Publication date: 7 March 2019
Ideals and multiplicative ideal theory in commutative rings (13A15) Applications of logic to commutative algebra (13L05) Other constructive mathematics (03F65)
This page was built for publication: An algorithmic approach to the existence of ideal objects in commutative algebra