TY  - RPRT
TI  - Interpretability and uniform definability of integers, and undecidability of reduced indecomposable polynomial rings
AU  - Marco Barone
AU  - Nicolás Caro
AU  - Eudes Naziazeno
PY  - 2020
UR  - https://arxiv.org/abs/1703.08266
ID  - 1703.08266
ER  -