Article ID Journal Published Year Pages File Type
4593517 Journal of Number Theory 2015 26 Pages PDF
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,+,⋅,=}{0,1,t,+,⋅,=}-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.

Related Topics
Physical Sciences and Engineering Mathematics Algebra and Number Theory
Authors
, ,