pith. sign in

arxiv: 1411.7109 · v1 · pith:AEN3BF3Tnew · submitted 2014-11-26 · 🧮 math.NT · math.LO

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

classification 🧮 math.NT math.LO
keywords positivecharacteristicentirefunctionsproveringsexistentialintegers
0
0 comments X
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.