{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T04:03:00Z","timestamp":1769227380575,"version":"3.49.0"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T00:00:00Z","timestamp":1758153600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T00:00:00Z","timestamp":1758153600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1007\/s00153-025-00980-7","type":"journal-article","created":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T08:51:16Z","timestamp":1758185476000},"page":"71-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Hilbert\u2019s \u201cgeometric\u201d tenth problem for odd characteristic function fields"],"prefix":"10.1007","volume":"65","author":[{"given":"Brian","family":"Tyrrell-Nic Dhonncha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,18]]},"reference":[{"issue":"3","key":"980_CR1","doi-asserted-by":"publisher","first-page":"665","DOI":"10.2140\/ant.2016.10.665","volume":"10","author":"S Anscombe","year":"2016","unstructured":"Anscombe, S., Fehm, A.: The existential theory of equicharacteristic henselian valued fields. Algebra Number Theory 10(3), 665\u2013683 (2016). https:\/\/doi.org\/10.2140\/ant.2016.10.665","journal-title":"Algebra Number Theory"},{"key":"980_CR2","doi-asserted-by":"crossref","unstructured":"Anscombe, S., and Fehm, A. Universal-existential theories of fields. arXiv:2405.12771 (2024)","DOI":"10.1017\/S0013091525100771"},{"key":"980_CR3","doi-asserted-by":"crossref","unstructured":"Anscombe, S., Karemaker, V., Kisak\u00fcrek, Z., Mehmeti, V., Pagano, M., and Paladino, L. A survey of local-global methods for Hilbert\u2019s Tenth Problem. arXiv:2309.14987 (2023)","DOI":"10.1007\/978-3-031-52163-8_2"},{"key":"980_CR4","doi-asserted-by":"crossref","unstructured":"Cherlin, G. Undecidability of Rational Function Fields in Nonzero Characteristic. In Studies in Logic and the Foundations of Mathematics, Volume 112, G.\u00a0Lolli, G.\u00a0Longo, and A.\u00a0Marcja, Eds. Elsevier, 1984, pp.\u00a085\u201395","DOI":"10.1016\/S0049-237X(08)71810-X"},{"issue":"3","key":"980_CR5","doi-asserted-by":"publisher","first-page":"425","DOI":"10.2307\/1970289","volume":"74","author":"M Davis","year":"1961","unstructured":"Davis, M., Putnam, H., Robinson, J.: The decision problem for exponential diophantine equations. Ann. of Math. 74(3), 425\u2013436 (1961). https:\/\/doi.org\/10.2307\/1970289","journal-title":"Ann. of Math."},{"issue":"2","key":"980_CR6","doi-asserted-by":"publisher","first-page":"261","DOI":"10.2140\/pjm.2003.210.261","volume":"210","author":"K Eisentr\u00e4ger","year":"2003","unstructured":"Eisentr\u00e4ger, K.: Hilbert\u2019s Tenth Problem for algebraic function fields of characteristic 2. Pacific J. Math. 210(2), 261\u2013281 (2003). https:\/\/doi.org\/10.2140\/pjm.2003.210.261","journal-title":"Pacific J. Math."},{"issue":"1","key":"980_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00605-011-0364-7","volume":"168","author":"K Eisentr\u00e4ger","year":"2012","unstructured":"Eisentr\u00e4ger, K.: Hilbert\u2019s Tenth Problem for function fields of varieties over algebraically closed fields of positive characteristic. Monatsh. Math. 168(1), 1\u201316 (2012). https:\/\/doi.org\/10.1007\/s00605-011-0364-7","journal-title":"Monatsh. Math."},{"issue":"21","key":"980_CR8","doi-asserted-by":"publisher","first-page":"4051","DOI":"10.1093\/imrn\/rnp079","volume":"2009","author":"K Eisentr\u00e4ger","year":"2009","unstructured":"Eisentr\u00e4ger, K., Shlapentokh, A.: Undecidability in Function Fields of Positive Characteristic. Int. Math. Res. Not. IMRN 2009(21), 4051\u20134086 (2009). https:\/\/doi.org\/10.1093\/imrn\/rnp079","journal-title":"Int. Math. Res. Not. IMRN"},{"issue":"7","key":"980_CR9","doi-asserted-by":"publisher","first-page":"2103","DOI":"10.4171\/jems\/714","volume":"19","author":"K Eisentr\u00e4ger","year":"2017","unstructured":"Eisentr\u00e4ger, K., Shlapentokh, A.: Hilbert\u2019s Tenth Problem over function fields of positive characteristic not containing the algebraic closure of a finite field. J. Eur. Math. Soc. (JEMS) 19(7), 2103\u20132138 (2017). https:\/\/doi.org\/10.4171\/jems\/714","journal-title":"J. Eur. Math. Soc. (JEMS)"},{"key":"980_CR10","unstructured":"Er\u0161ov, Y. Undecidability of certain fields. Dokl. Akad. Nauk SSSR 161, 1 (1965), 27\u201329. http:\/\/mi.mathnet.ru\/dan30809"},{"key":"980_CR11","unstructured":"Fried, M., and Jarden, M. Field Arithmetic. Springer-Verlag, 2008. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge; A Series of Modern Surveys in Mathematics, Volume 11, 3rd Edition"},{"key":"980_CR12","unstructured":"Hilbert, D. Mathematische Probleme. Nachr. K\u00f6nigl. Gesell. Wiss. G\u00f6ttingen, Mathematisch-Physikalische Klasse (1900), 253\u2013297. http:\/\/eudml.org\/doc\/58479"},{"key":"980_CR13","unstructured":"Hodges, W. Model Theory. Cambridge University Press, 1993. Encyclopedia of Mathematics and its Applications, Volume 42"},{"issue":"1","key":"980_CR14","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/0021-8693(92)90097-6","volume":"152","author":"KH Kim","year":"1992","unstructured":"Kim, K.H., Roush, F.W.: Diophantine unsolvability for function fields over certain infinite fields of characteristic $$p$$. J. Algebra 152(1), 230\u2013239 (1992). https:\/\/doi.org\/10.1016\/0021-8693(92)90097-6","journal-title":"J. Algebra"},{"issue":"1","key":"980_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0021-8693(05)80047-X","volume":"150","author":"KH Kim","year":"1992","unstructured":"Kim, K.H., Roush, F.W.: Diophantine unsolvability of $$\\mathbb{C} (t_1, t_2)$$. J. Algebra 150(1), 35\u201344 (1992). https:\/\/doi.org\/10.1016\/S0021-8693(05)80047-X","journal-title":"J. Algebra"},{"key":"980_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1090\/S0002-9939-1993-1132414-5","volume":"118","author":"KH Kim","year":"1993","unstructured":"Kim, K.H., Roush, F.W.: Undecidability of parametric solutions of polynomial equations. Proc. Amer. Math. Soc. 118, 345\u2013348 (1993). https:\/\/doi.org\/10.1090\/S0002-9939-1993-1132414-5","journal-title":"Proc. Amer. Math. Soc."},{"key":"980_CR17","doi-asserted-by":"crossref","unstructured":"Koenigsmann, J.: Undecidability in number theory. In Model theory in Algebra, Analysis and Arithmetic, H.\u00a0D. Macpherson and C.\u00a0Toffalori, Eds. Springer-Verlag, 2014, pp.\u00a0159\u2013195. Available at arXiv:1309.0441","DOI":"10.1007\/978-3-642-54936-6_5"},{"key":"980_CR18","doi-asserted-by":"crossref","unstructured":"Lang, S.: Algebraic Number Theory. Springer, 1994. Second Edition, Graduate Texts in Mathematics 110","DOI":"10.1007\/978-1-4612-0853-2"},{"issue":"7","key":"980_CR19","doi-asserted-by":"publisher","first-page":"816","DOI":"10.2307\/2315800","volume":"74","author":"W Leahey","year":"1967","unstructured":"Leahey, W.: Sums of squares of polynomials with coefficients in a finite field. Amer. Math. Monthly 74(7), 816\u2013819 (1967). https:\/\/doi.org\/10.2307\/2315800","journal-title":"Amer. Math. Monthly"},{"key":"980_CR20","unstructured":"Marker, D.: Model Theory: An Introduction. Springer, 2002. Graduate Texts in Mathematics 217"},{"key":"980_CR21","first-page":"354","volume":"11","author":"Y Matiyasevich","year":"1970","unstructured":"Matiyasevich, Y.: Enumerable sets are Diophantine. Soviet Math. Dokl. 11, 354\u2013358 (1970)","journal-title":"Soviet Math. Dokl."},{"key":"980_CR22","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00605-016-0973-2","volume":"182","author":"H Pasten","year":"2017","unstructured":"Pasten, H.: Definability of Frobenius orbits and a result on rational distance sets. Monatsh. Math. 182, 99\u2013126 (2017). https:\/\/doi.org\/10.1007\/s00605-016-0973-2","journal-title":"Monatsh. Math."},{"key":"980_CR23","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/s00222-013-0472-1","volume":"196","author":"H Pasten","year":"2014","unstructured":"Pasten, H., Pheidas, T., Vidaux, X.: Uniform existential interpretation of arithmetic in rings of functions of positive characteristic. Invent. Math. 196, 453\u2013484 (2014). https:\/\/doi.org\/10.1007\/s00222-013-0472-1","journal-title":"Invent. Math."},{"key":"980_CR24","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/BF02219294","volume":"12","author":"Y Penzin","year":"1973","unstructured":"Penzin, Y.: Undecidability of fields of rational functions over fields of characteristic 2. Algebra Logika 12, 205\u2013210 (1973). https:\/\/doi.org\/10.1007\/BF02219294","journal-title":"Algebra Logika"},{"issue":"3","key":"980_CR25","doi-asserted-by":"publisher","first-page":"526","DOI":"10.2307\/2046442","volume":"103","author":"T Pheidas","year":"1987","unstructured":"Pheidas, T.: An Undecidability Result for Power Series Rings of Positive Characteristic II. Proc. Amer. Math. Soc. 103(3), 526\u2013530 (1987). https:\/\/doi.org\/10.2307\/2046442","journal-title":"Proc. Amer. Math. Soc."},{"issue":"1","key":"980_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01239506","volume":"103","author":"T Pheidas","year":"1991","unstructured":"Pheidas, T.: Hilbert\u2019s Tenth Problem for fields of rational functions over finite fields. Invent. Math. 103(1), 1\u20138 (1991). https:\/\/doi.org\/10.1007\/BF01239506","journal-title":"Invent. Math."},{"issue":"1","key":"980_CR27","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1016\/j.jalgebra.2003.07.016","volume":"273","author":"T Pheidas","year":"2004","unstructured":"Pheidas, T.: Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. J. Algebra 273(1), 395\u2013411 (2004). https:\/\/doi.org\/10.1016\/j.jalgebra.2003.07.016","journal-title":"J. Algebra"},{"issue":"10","key":"980_CR28","doi-asserted-by":"publisher","first-page":"4993","DOI":"10.1080\/00927879908826744","volume":"27","author":"T Pheidas","year":"1999","unstructured":"Pheidas, T., Zahidi, K.: Undecidable existential theories of polynomial rings and function fields. Comm. Algebra 27(10), 4993\u20135010 (1999). https:\/\/doi.org\/10.1080\/00927879908826744","journal-title":"Comm. Algebra"},{"key":"980_CR29","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1090\/conm\/270\/04369","volume":"270","author":"T Pheidas","year":"2000","unstructured":"Pheidas, T., Zahidi, K.: Undecidability of existential theories of rings and fields: A survey. Contemp. Math. 270, 49\u2013105 (2000)","journal-title":"Contemp. Math."},{"key":"980_CR30","doi-asserted-by":"crossref","unstructured":"Reiner, I.: Maximal Orders. Clarendon Press, Oxford, 2003. London Mathematical Society Monographs \u2013 New Series 28","DOI":"10.1093\/oso\/9780198526735.001.0001"},{"issue":"2","key":"980_CR31","doi-asserted-by":"publisher","first-page":"98","DOI":"10.2307\/2266510","volume":"14","author":"J Robinson","year":"1949","unstructured":"Robinson, J.: Definability and decision problems in arithmetic. J. Symbolic Logic 14(2), 98\u2013114 (1949). https:\/\/doi.org\/10.2307\/2266510","journal-title":"J. Symbolic Logic"},{"key":"980_CR32","doi-asserted-by":"publisher","first-page":"950","DOI":"10.2307\/2033628","volume":"10","author":"J Robinson","year":"1959","unstructured":"Robinson, J.: The undecidability of algebraic rings and fields. Proc. Amer. Math. Soc. 10, 950\u2013957 (1959). https:\/\/doi.org\/10.2307\/2033628","journal-title":"Proc. Amer. Math. Soc."},{"key":"980_CR33","doi-asserted-by":"crossref","unstructured":"Rosen, M.: Number Theory in Function Fields. Springer-Verlag, 2002. Graduate Texts in Mathematics 210","DOI":"10.1007\/978-1-4757-6046-0"},{"key":"980_CR34","first-page":"81","volume":"13","author":"LA Rubel","year":"1995","unstructured":"Rubel, L.A.: An essay on diophantine equations for analytic functions. Exp. Math. 13, 81\u201392 (1995)","journal-title":"Exp. Math."},{"issue":"1","key":"980_CR35","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1090\/S0002-9947-1980-0583852-6","volume":"262","author":"R Rumely","year":"1980","unstructured":"Rumely, R.: Undecidability and definability for the theory of global fields. Trans. Amer. Math. Soc. 262(1), 195\u2013217 (1980). https:\/\/doi.org\/10.1090\/S0002-9947-1980-0583852-6","journal-title":"Trans. Amer. Math. Soc."},{"issue":"1","key":"980_CR36","doi-asserted-by":"publisher","first-page":"158","DOI":"10.2307\/2275331","volume":"58","author":"A Shlapentokh","year":"1993","unstructured":"Shlapentokh, A.: Diophantine relations between rings of $$S$$-integers of fields of algebraic functions in one variable over constant fields of positive characteristic. J. Symbolic Logic 58(1), 158\u2013192 (1993). https:\/\/doi.org\/10.2307\/2275331","journal-title":"J. Symbolic Logic"},{"issue":"2","key":"980_CR37","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1006\/jnth.1996.0080","volume":"58","author":"A Shlapentokh","year":"1996","unstructured":"Shlapentokh, A.: Diophantine undecidability over algebraic function fields over finite fields of constants. J. Number Theory 58(2), 317\u2013342 (1996). https:\/\/doi.org\/10.1006\/jnth.1996.0080","journal-title":"J. Number Theory"},{"issue":"8","key":"980_CR38","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1142\/S0129167X98000440","volume":"9","author":"A Shlapentokh","year":"1998","unstructured":"Shlapentokh, A.: Diophantine definability over holomorphy rings of algebraic function fields with infinite number of primes allowed as poles. Internat. J. Math. 9(8), 1041\u20131066 (1998). https:\/\/doi.org\/10.1142\/S0129167X98000440","journal-title":"Internat. J. Math."},{"issue":"2","key":"980_CR39","doi-asserted-by":"publisher","first-page":"463","DOI":"10.2140\/pjm.2000.193.463","volume":"193","author":"A Shlapentokh","year":"2000","unstructured":"Shlapentokh, A.: Hilbert\u2019s tenth problem for algebraic function fields over infinite fields of constants of positive characteristic. Pacific J. Math. 193(2), 463\u2013500 (2000). https:\/\/doi.org\/10.2140\/pjm.2000.193.463","journal-title":"Pacific J. Math."},{"issue":"2","key":"980_CR40","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1023\/A:1016067603451","volume":"132","author":"A Shlapentokh","year":"2002","unstructured":"Shlapentokh, A.: Diophantine undecidability of function fields of characteristic greater than 2, finitely generated over fields algebraic over a finite field. Compos. Math. 132(2), 99\u2013120 (2002). https:\/\/doi.org\/10.1023\/A:1016067603451","journal-title":"Compos. Math."},{"issue":"2","key":"980_CR41","doi-asserted-by":"publisher","first-page":"759","DOI":"10.2178\/jsl\/1190150109","volume":"67","author":"A Shlapentokh","year":"2002","unstructured":"Shlapentokh, A.: On diophantine definability and decidability in some rings of algebraic functions of characteristic 0. J. Symb. Logic 67(2), 759\u2013786 (2002). https:\/\/doi.org\/10.2178\/jsl\/1190150109","journal-title":"J. Symb. Logic"},{"issue":"2","key":"980_CR42","doi-asserted-by":"publisher","first-page":"4631","DOI":"10.1007\/s10958-005-0358-x","volume":"130","author":"A Shlapentokh","year":"2005","unstructured":"Shlapentokh, A.: Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic. J. Math. Sci. 130(2), 4631\u20134642 (2005). https:\/\/doi.org\/10.1007\/s10958-005-0358-x","journal-title":"J. Math. Sci."},{"key":"980_CR43","doi-asserted-by":"crossref","unstructured":"Shlapentokh, A.: Hilbert\u2019s Tenth Problem: Diophantine Classes and Extensions to Global Fields. Cambridge University Press, (2007)","DOI":"10.1017\/CBO9780511542954"},{"key":"980_CR44","unstructured":"Shlapentokh, A.: On definitions of polynomials over function fields of positive characteristic. arXiv:1502.02714 (2015)"},{"key":"980_CR45","doi-asserted-by":"crossref","unstructured":"Silverman, J.: The Arithmetic of Elliptic Curves. Springer, 2009. Second Edition, Graduate Texts in Mathematics 106","DOI":"10.1007\/978-0-387-09494-6"},{"key":"980_CR46","doi-asserted-by":"crossref","unstructured":"Stichtenoth, H.: Algebraic Function Fields and Codes. Springer, 2009. Second Edition, Graduate Texts in Mathematics 254","DOI":"10.1007\/978-3-540-76878-4"},{"key":"980_CR47","unstructured":"Tyrrell, B.: Undecidability in some Field Theories. PhD thesis, University of Oxford, 2023. https:\/\/ora.ox.ac.uk\/objects\/uuid:3f8d7c47-a54a-4f27-b156-d1116b11b92f"},{"issue":"1","key":"980_CR48","doi-asserted-by":"publisher","first-page":"249","DOI":"10.2307\/2160192","volume":"120","author":"C Videla","year":"1994","unstructured":"Videla, C.: Hilbert\u2019s Tenth Problem for rational function fields in characteristic 2. Proc. Amer. Math. Soc. 120(1), 249\u2013253 (1994). https:\/\/doi.org\/10.2307\/2160192","journal-title":"Proc. Amer. Math. Soc."},{"key":"980_CR49","doi-asserted-by":"crossref","unstructured":"Weil, A.: Basic Number Theory. Springer Verlag, (1974)","DOI":"10.1007\/978-3-642-61945-8"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00980-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-00980-7","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-00980-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T23:02:50Z","timestamp":1769209370000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-00980-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,18]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1]]}},"alternative-id":["980"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-00980-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,18]]},"assertion":[{"value":"30 June 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 August 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 September 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author declares they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper. B.\u00a0Tyrrell-Nic Dhonncha is the sole author, hence all work in this paper is his.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}