Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025)

For an integral domain \(R\) of positive characteristic endowed with a non-Archimedean valuation \(| \,\,|_{R}\), the authors of the paper under review consider a ring \(\mathcal A_{R}\) of power series in one variable (which we will call \(t\)) with coefficients in \(R\) defined as \[ \mathcal A_R=\left\{\sum_{i>0}c_it^i: c_i \in R\land \forall r\in \mathbb R^{+}, \lim_{n \rightarrow \infty}|c_n|_{R}r^n=0\right\}. \] The authors show that the ring of rational integers has a positive existential interpretation over such rings \(\mathcal A_{R}\), uniform in characteristic. Thus, the analog of Hilbert's Tenth Problem is not solvable over such a ring. Hilbert's Tenth Problem can be phrased as the following question. Given a recursive domain \(A\), is there an algorithm to determine whether an arbitrary polynomial equation with coefficients in \(A\) has solutions in \(A\)? The problem was originally formulated by Hilbert for \(\mathbb Z\) and was shown to be unsolvable in 1969 by Y. Matiyasevich building on results of M. Davis, H. Putnam and J. Robinson. Most results showing unsolvability of Hilbert's Tenth Problem over other rings are obtained by constructing an interpretation of \(\mathbb Z\) over the rings in question. The current results complement power series results of L. Lipshitz and T. Pheidas who considered a similar problem in characteristic 0.