TY  - RPRT
TI  - The logical complexity of finitely generated commutative rings
AU  - Matthias Aschenbrenner
AU  - Anatole Khélif
AU  - Eudes Naziazeno
AU  - Thomas Scanlon
PY  - 2016
UR  - https://arxiv.org/abs/1610.04768
ID  - 1610.04768
ER  -