Interpretability and uniform definability of integers, and undecidability of reduced indecomposable polynomial rings

Marco Barone, Nicolás Caro, Eudes Naziazeno

We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are (commutative unital) reduced and indecomposable. This is achieved by mea…