Remarks on undecidability of indecomposable polynomial rings

Marco Barone, Nicolás Caro-Montoya, Eudes Naziazeno

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability…