{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:31:38Z","timestamp":1760121098934},"reference-count":15,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2002,7,1]]},"DOI":"10.1305\/ndjfl\/1074290716","type":"journal-article","created":{"date-parts":[[2004,1,19]],"date-time":"2004-01-19T15:27:07Z","timestamp":1074526027000},"source":"Crossref","is-referenced-by-count":2,"title":["Hilbert's Tenth Problem for Rings of Rational Functions"],"prefix":"10.1215","volume":"43","author":[{"given":"Karim","family":"Zahidi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Denef, J., \"The D\"iophantine problem for polynomial rings and fields of rational functions, <i>Transactions of the American Mathematical Society<\/i>, vol. 242 (1978), pp. 391\u201399.","DOI":"10.1090\/S0002-9947-1978-0491583-7"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Kim, K. H., and F. W. Roush, \"Diophantine undecidability of ${\\bf C}(t\\sb 1,t\\sb 2)$\", <i>Journal of Algebra<\/i>, vol. 150 (1992), pp. 35\u201344.","DOI":"10.1016\/S0021-8693(05)80047-X"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Kim, K. H., and F. W. Roush, \"Diophantine unsolvability for function fields over certain infinite fields of characteristic $p$\", <i>Journal of Algebra<\/i>, vol. 152 (1992), pp. 230\u201339.","DOI":"10.1016\/0021-8693(92)90097-6"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Kim, K. H., and F. W. Roush, \"Diophantine unsolvability over $p$\"-adic function fields, <i>Journal of Algebra<\/i>, vol. 176 (1995), pp. 83\u2013110.","DOI":"10.1006\/jabr.1995.1234"},{"key":"5","unstructured":"Matijasevich, Y., \"Enumerable sets are D\"iophantine, <i>Doklady Akademii Nauka SSSR<\/i>, vol. 191 (1970), pp. 272\u201382."},{"key":"6","unstructured":"Matsumura, H., <i>Commutative A<\/i>lgebra, W. A. Benjamin, Inc., New York, 1970."},{"key":"7","doi-asserted-by":"publisher","unstructured":"Pheidas, T., \"Hilbert's T\"enth Problem for fields of rational functions over finite fields, <i>Inventiones Mathematicae<\/i>, vol. 103 (1991), pp. 1\u20138.","DOI":"10.1007\/BF01239506"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Pheidas, T., and K. Zahidi, \"Undecidable existential theories of polynomial rings and function fields\", <i>Communications in Algebra<\/i>, vol. 27 (1999), pp. 4993\u20135010.","DOI":"10.1080\/00927879908826744"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Poonen, B., \"Hilbert's T\"enth Problem and Mazur's Conjecture for large subrings of $\\mathbb{Q}$, preprint, 2003","DOI":"10.1090\/S0894-0347-03-00433-8"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Robinson, J., \"Definability and decision problems in arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 14 (1949), pp. 98\u2013114.","DOI":"10.2307\/2266510"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Robinson, J., \"The undecidability of algebraic rings and fields\", <i>Proceedings of the American Mathematical Society<\/i>, vol. 10 (1959), pp. 950\u201357.","DOI":"10.1090\/S0002-9939-1959-0112842-7"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Rumely, R. S., \"Undecidability and definability for the theory of global fields\", <i>Transactions of the American Mathematical Society<\/i>, vol. 262 (1980), pp. 195\u2013217.","DOI":"10.1090\/S0002-9947-1980-0583852-6"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Shlapentokh, A., \"Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator\", <i>Inventiones Mathematicae<\/i>, vol. 129 (1997), pp. 489\u2013507.","DOI":"10.1007\/s002220050170"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Shlapentokh, A., \"Diophantine definability over holomorphy rings of algebraic function fields with infinite number of primes allowed as poles\", <i>International Journal of Mathematics<\/i>, vol. 9 (1998), pp. 1041\u201366.","DOI":"10.1142\/S0129167X98000440"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Silverman, J. H., <i>The A<\/i>rithmetic of Elliptic Curves, vol. 106 of <i>Graduate T<\/i>exts in Mathematics, Springer-Verlag, New York, 1986.","DOI":"10.1007\/978-1-4757-1920-8_7"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1074290716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:57Z","timestamp":1706648157000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-43\/issue-3\/Hilberts-Tenth-Problem-for-Rings-of-Rational-Functions\/10.1305\/ndjfl\/1074290716.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7,1]]},"references-count":15,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2002,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1074290716","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2002,7,1]]}}}