research
∙
03/07/2019
An algorithmic approach to the existence of ideal objects in commutative algebra
The existence of ideal objects, such as maximal ideals in nonzero rings,...
research
∙
07/27/2018