Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
classification
🧮 math.NT
math.LO
keywords
positivecharacteristicentirefunctionsproveringsexistentialintegers
read the original abstract
We prove a negative solution to the analogue of Hilbert's tenth problem for rings of one variable non-Archimedean entire functions in any characteristic. In the positive characteristic case we prove more: the ring of rational integers is uniformly positive existentially interpretable in the class of $\{0,1,t,+,\cdot,=\}$-structures consisting of positive characteristic rings of entire functions on the variable $t$. From this we deduce uniform undecidability results for the positive existential theory of such structures. As a key intermediate step, we prove a rationality result for the solutions of certain Pell equation (which a priori could be transcendental entire functions).
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.