{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:23:15Z","timestamp":1740108195065,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T00:00:00Z","timestamp":1723420800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T00:00:00Z","timestamp":1723420800000},"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":[[2025,2]]},"DOI":"10.1007\/s00153-024-00936-3","type":"journal-article","created":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T13:08:25Z","timestamp":1723468105000},"page":"185-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Undecidability of indecomposable polynomial rings"],"prefix":"10.1007","volume":"64","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8499-1312","authenticated-orcid":false,"given":"Marco","family":"Barone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5184-230X","authenticated-orcid":false,"given":"Nicol\u00e1s","family":"Caro-Montoya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4065-5664","authenticated-orcid":false,"given":"Eudes","family":"Naziazeno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,12]]},"reference":[{"key":"936_CR1","unstructured":"Altman, A., Kleiman, S.: A Term of Commutative Algebra, p. 441. Worldwide Center of Mathematics (2021). https:\/\/dspace.mit.edu\/handle\/1721.1\/116075.2"},{"issue":"1","key":"936_CR2","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1093\/imrn\/rny023","volume":"2020","author":"M Aschenbrenner","year":"2018","unstructured":"Aschenbrenner, M., Kh\u00e9lif, A., Naziazeno, E., Scanlon, T.: The logical complexity of finitely generated commutative rings. Int. Math. Res. Not. 2020(1), 112\u2013166 (2018). https:\/\/doi.org\/10.1093\/imrn\/rny023","journal-title":"Int. Math. Res. Not."},{"issue":"4","key":"936_CR3","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1017\/jsl.2020.50","volume":"85","author":"M Barone","year":"2020","unstructured":"Barone, M., Caro, N., Naziazeno, E.: Uniform definability of integers in reduced indecomposable polynomial rings. J. Symb. Logic. 85(4), 1376\u20131402 (2020). https:\/\/doi.org\/10.1017\/jsl.2020.50","journal-title":"J. Symb. Logic."},{"key":"936_CR4","doi-asserted-by":"crossref","unstructured":"Barone, M., Caro-Montoya, N., Naziazeno, E.: Remarks on undecidability of indecomposable polynomial rings (2023). arXiv:2304.02165v2","DOI":"10.1007\/s00153-024-00936-3"},{"key":"936_CR5","doi-asserted-by":"publisher","unstructured":"Becker, J., Denef, J., Lipshitz, L.: Further remarks on the elementary theory of formal power series rings. In: Model Theory of Algebra and Arithmetic (Proc. Conf., Karpacz, 1979). Lecture Notes in Math., vol. 834, pp. 1\u20139. Springer, Berlin (1980). https:\/\/doi.org\/10.1007\/BFb0090156","DOI":"10.1007\/BFb0090156"},{"issue":"3","key":"936_CR6","doi-asserted-by":"publisher","first-page":"2050014","DOI":"10.1142\/S0219061320500142","volume":"20","author":"L Darni\u00e8re","year":"2020","unstructured":"Darni\u00e8re, L., Tressl, M.: Defining integer-valued functions in rings of continuous definable functions over a topological field. J. Math. Log. 20(3), 2050014\u201324 (2020). https:\/\/doi.org\/10.1142\/S0219061320500142","journal-title":"J. Math. Log."},{"issue":"3","key":"936_CR7","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1007\/s00222-007-0078-6","volume":"170","author":"J Demeyer","year":"2007","unstructured":"Demeyer, J.: Recursively enumerable sets of polynomials over a finite field are Diophantine. Invent. Math. 170(3), 655\u2013670 (2007). https:\/\/doi.org\/10.1007\/s00222-007-0078-6","journal-title":"Invent. Math."},{"key":"936_CR8","doi-asserted-by":"publisher","first-page":"391","DOI":"10.2307\/1997746","volume":"242","author":"J Denef","year":"1978","unstructured":"Denef, J.: The Diophantine problem for polynomial rings and fields of rational functions. Trans. Am. Math. Soc. 242, 391\u2013399 (1978). https:\/\/doi.org\/10.2307\/1997746","journal-title":"Trans. Am. Math. Soc."},{"key":"936_CR9","doi-asserted-by":"crossref","unstructured":"Denef, J.: The Diophantine problem for polynomial rings of positive characteristic. In: Logic Colloquium \u201978 (Mons, 1978). Studies in Logic and the Foundations of Mathematics, vol. 97, pp. 131\u2013145. North-Holland, Amsterdam-New York (1979). https:\/\/doi.org\/10.1016\/S0049-237X(08)71623-9","DOI":"10.1016\/S0049-237X(08)71623-9"},{"key":"936_CR10","unstructured":"Eisentr\u00e4ger, K.: Hilbert\u2019s Tenth Problem and arithmetic geometry. PhD thesis, University of California, Berkeley (2003). http:\/\/gateway.proquest.com\/openurl?url_ver=Z39.88-2004 &rft_val_fmt=info:ofi\/fmt:kev:mtx:dissertation &res_dat=xri:pqdiss &rft_dat=xri:pqdiss:3105203"},{"key":"936_CR11","doi-asserted-by":"publisher","first-page":"3191","DOI":"10.1155\/S1073792804141354","volume":"59","author":"K Eisentr\u00e4ger","year":"2004","unstructured":"Eisentr\u00e4ger, K.: Hilbert\u2019s Tenth Problem for function fields of varieties over $$\\mathbb{C} $$. Int. Math. Res. Not. 59, 3191\u20133205 (2004). https:\/\/doi.org\/10.1155\/S1073792804141354","journal-title":"Int. Math. Res. Not."},{"issue":"21","key":"936_CR12","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. 2009(21), 4051\u20134086 (2009). https:\/\/doi.org\/10.1093\/imrn\/rnp079","journal-title":"Int. Math. Res. Not."},{"issue":"7","key":"936_CR13","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"},{"issue":"2","key":"936_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1112\/jlms\/s2-19.2.285","volume":"19","author":"W Hodges","year":"1979","unstructured":"Hodges, W.: Krull implies Zorn. The Journal of the London Mathematical Society. Second Series 19(2), 285\u2013287 (1979). https:\/\/doi.org\/10.1112\/jlms\/s2-19.2.285","journal-title":"Second Series"},{"key":"936_CR15","doi-asserted-by":"publisher","unstructured":"Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42, p. 772. Cambridge University Press, Cambridge (1993). https:\/\/doi.org\/10.1017\/CBO9780511551574","DOI":"10.1017\/CBO9780511551574"},{"key":"936_CR16","doi-asserted-by":"publisher","unstructured":"Howard, P., Rubin, J.E.: Consequences of the Axiom of Choice. Mathematical Surveys and Monographs, vol. 59, p. 432. American Mathematical Society, Providence, RI (1998). https:\/\/doi.org\/10.1090\/surv\/059","DOI":"10.1090\/surv\/059"},{"issue":"1","key":"936_CR17","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 undecidability of $$\\textbf{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":"936_CR18","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-54936-6_5","volume-title":"Model Theory in Algebra, Analysis and Arithmetic","author":"J Koenigsmann","year":"2014","unstructured":"Koenigsmann, J.: Undecidability in number theory. In: Model Theory in Algebra, Analysis and Arithmetic. Lecture Notes in Mathematics, vol. 2111, pp. 159\u2013195. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54936-6_5"},{"key":"936_CR19","doi-asserted-by":"publisher","unstructured":"Miller, R., Shlapentokh, A.: On existential definitions of c.e. subsets of rings of functions of characteristic 0. Ann. Pure Appl. Logic. 173(4), 103076 (2022). https:\/\/doi.org\/10.1016\/j.apal.2021.103076","DOI":"10.1016\/j.apal.2021.103076"},{"key":"936_CR20","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/BF01141192","volume":"33","author":"GA Noskov","year":"1983","unstructured":"Noskov, G.A.: Elementary theory of a finitely generated commutative ring. Math. Notes 33, 12\u201315 (1983). https:\/\/doi.org\/10.1007\/BF01141192","journal-title":"Math. Notes"},{"issue":"2","key":"936_CR21","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(2), 453\u2013484 (2014). https:\/\/doi.org\/10.1007\/s00222-013-0472-1","journal-title":"Invent. Math."},{"issue":"3","key":"936_CR22","doi-asserted-by":"publisher","first-page":"526","DOI":"10.2307\/2046442","volume":"100","author":"T Pheidas","year":"1987","unstructured":"Pheidas, T.: An undecidability result for power series rings of positive characteristic. II. Proc. Amer. Math. Soc. 100(3), 526\u2013530 (1987). https:\/\/doi.org\/10.2307\/2046442","journal-title":"II. Proc. Amer. Math. Soc."},{"key":"936_CR23","series-title":"Contemporary Mathematics","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1090\/conm\/270\/04369","volume-title":"Hilbert\u2019s Tenth Problem: Relations with Arithmetic and Algebraic Geometry (Ghent, 1999)","author":"T Pheidas","year":"2000","unstructured":"Pheidas, T., Zahidi, K.: Undecidability of existential theories of rings and fields: A survey. In: Hilbert\u2019s Tenth Problem: Relations with Arithmetic and Algebraic Geometry (Ghent, 1999). Contemporary Mathematics, vol. 270, pp. 49\u2013105. Amer. Math. Soc, Providence, RI (2000). https:\/\/doi.org\/10.1090\/conm\/270\/04369"},{"key":"936_CR24","doi-asserted-by":"publisher","unstructured":"Pheidas, T., Zahidi, K.: Decision problems in Algebra and analogues of Hilbert\u2019s tenth problem. In: Model Theory with Applications to Algebra and Analysis. Vol. 2. London Mathematical Society Lecture Note Series, vol. 350, pp. 207\u2013235. Cambridge Univ. Press, Cambridge, (2008). https:\/\/doi.org\/10.1017\/CBO9780511735219.007","DOI":"10.1017\/CBO9780511735219.007"},{"key":"936_CR25","unstructured":"Poonen, B.: Undecidability in number theory. Not. Am. Math. Soc. 55(3), 344\u2013350 (2008)"},{"key":"936_CR26","doi-asserted-by":"publisher","first-page":"137","DOI":"10.2307\/1990529","volume":"70","author":"RM Robinson","year":"1951","unstructured":"Robinson, R.M.: Undecidable rings. Trans. Am. Math. Soc. 70, 137\u2013159 (1951). https:\/\/doi.org\/10.2307\/1990529","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"936_CR27","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":"936_CR28","doi-asserted-by":"publisher","first-page":"230","DOI":"10.2178\/bsl\/1305810912","volume":"17","author":"A Shlapentokh","year":"2011","unstructured":"Shlapentokh, A.: Defining integers. Bull. Symb. Log. 17(2), 230\u2013251 (2011). https:\/\/doi.org\/10.2178\/bsl\/1305810912","journal-title":"Bull. Symb. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00936-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00936-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00936-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T05:40:30Z","timestamp":1739338830000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00936-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,12]]},"references-count":28,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2025,2]]}},"alternative-id":["936"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00936-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2024,8,12]]},"assertion":[{"value":"30 September 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 July 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 August 2024","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 authors have no Conflict of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors have no relevant financial or non-financial interests to disclose, and certify that they have no affiliations with or involvement in any organization or entity with any financial interest or non-financial interest in the subject matter or materials discussed in this manuscript. The authors also have no financial or proprietary interests in any material discussed in this article.","order":6,"name":"Ethics","group":{"name":"EthicsHeading","label":"Financial or non-financial interests"}}]}}