An algorithmic approach to the existence of ideal objects in commutative algebra

Thomas Powell, Peter M Schuster, Franziskus Wiesnet

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pos…