{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T15:45:33Z","timestamp":1773243933871,"version":"3.50.1"},"reference-count":4,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":6676,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1995,12]]},"abstract":"<jats:p>Let <jats:italic>p<\/jats:italic> be a fixed prime integer, other than 2, <jats:italic>Q<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> the field of <jats:italic>p<\/jats:italic>-adic numbers, and \u03a9<jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> the completion of the algebraic closure of <jats:italic>Q<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub>. Let <jats:italic>R<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> be the ring of entire functions in one variable <jats:italic>t<\/jats:italic> over \u03a9<jats:sub><jats:italic>p<\/jats:italic><\/jats:sub>; that is, <jats:italic>R<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> is the ring of functions <jats:italic>f<\/jats:italic>: \u03a9<jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> \u2192 <jats:italic>Q<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> such that <jats:italic>f(t)<\/jats:italic> is given by a power series around 0, of infinite radius of convergence:<\/jats:p><jats:p><jats:disp-formula><jats:graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" orientation=\"portrait\" mime-subtype=\"gif\" mimetype=\"image\" position=\"float\" xlink:type=\"simple\" xlink:href=\"S0022481200018077_eqnU1\"\/><\/jats:disp-formula><\/jats:p><jats:p>and <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" xlink:type=\"simple\" xlink:href=\"S0022481200018077_inline1\"\/> where \u2223<jats:italic>a<\/jats:italic>\u2223<jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> is the <jats:italic>p<\/jats:italic>-adic norm of <jats:italic>a<\/jats:italic> in \u03a9<jats:sub><jats:italic>p<\/jats:italic><\/jats:sub>. We prove:<\/jats:p><jats:p>Theorem A. <jats:italic>The positive existential theory of R<jats:sub>p<\/jats:sub> in the language L = {0, 1, t, +, \u00b7} is undecidable<\/jats:italic>.<\/jats:p><jats:p>Theorem A gives a negative answer to the analogue of Hilbert's tenth problem for <jats:italic>R<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub> in the language <jats:italic>L<\/jats:italic>. Related results include those of [2] where it is shown that the first-order theory of entire functions on the complex plane is undecidable and the similar result for analytic functions on the open unit disk (this is due to Denef and Gromov, communicated to us by Cherlin and is as of now unpublished).<\/jats:p><jats:p>It would be desirable to have a similar result in the language which, instead of the variable <jats:italic>t<\/jats:italic>, has a predicate for the transcendental (that is, nonconstant) elements of <jats:italic>R<\/jats:italic><jats:sub><jats:italic>p<\/jats:italic><\/jats:sub>. A related problem is the similar problem for meromorphic functions on the real or <jats:italic>p<\/jats:italic>-adic plane or on the unit open or closed disk. These problems seem for the moment rather hard in view of the fact that the analogue of Hilbert's Tenth Problem for the field of rational functions over the complex numbers (or any algebraically closed field of characteristic zero) is an open problem.<\/jats:p>","DOI":"10.2307\/2275889","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T18:56:55Z","timestamp":1146941815000},"page":"1301-1309","source":"Crossref","is-referenced-by-count":10,"title":["An analogue of Hilbert's tenth problem for <i>p<\/i>-adic entire functions"],"prefix":"10.1017","volume":"60","author":[{"given":"Leonard","family":"Lipshitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thanases","family":"Pheidas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200018077_ref004","first-page":"272","article-title":"Enumerable sets are diophantine","volume":"191","author":"Matiyasevich","year":"1970","journal-title":"Doklady Akademti Nauk SSSR"},{"key":"S0022481200018077_ref003","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1112-9"},{"key":"S0022481200018077_ref002","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1978-0491583-7"},{"key":"S0022481200018077_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-52229-1"}],"container-title":["Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200018077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T16:18:55Z","timestamp":1557764335000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0022481200018077\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":4,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["S0022481200018077"],"URL":"https:\/\/doi.org\/10.2307\/2275889","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}