TY  - RPRT
TI  - An algorithmic approach to the existence of ideal objects in commutative algebra
AU  - Thomas Powell
AU  - Peter M Schuster
AU  - Franziskus Wiesnet
PY  - 2019
UR  - https://arxiv.org/abs/1903.03070
ID  - 1903.03070
ER  -