{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T09:33:06Z","timestamp":1763544786834,"version":"3.37.3"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2016,9,22]],"date-time":"2016-09-22T00:00:00Z","timestamp":1474502400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["339691"],"award-info":[{"award-number":["339691"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s00153-016-0508-5","type":"journal-article","created":{"date-parts":[[2016,9,22]],"date-time":"2016-09-22T07:46:01Z","timestamp":1474530361000},"page":"997-1013","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Division by zero"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9057-3413","authenticated-orcid":false,"given":"Emil","family":"Je\u0159\u00e1bek","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"508_CR1","unstructured":"Doyle, P.G., Conway, J.H.: Division by three (1994). arXiv:math\/0605779 [math.LO]"},{"key":"508_CR2","unstructured":"Doyle, P.G., Qiu, C.: Division by four (2015). arXiv:1504.01402 [math.LO]"},{"volume-title":"Liber Amicorum Alberti: A Tribute to Albert Visser, Tributes","year":"2016","key":"508_CR3","unstructured":"Eijck, J., Iemhoff, R., Joosten, J.J. (eds.): Liber Amicorum Alberti: A Tribute to Albert Visser, Tributes, vol. 30. College Publications, London (2016)"},{"key":"508_CR4","unstructured":"Gaifman, H., Dimitracopoulos, C.: Fragments of Peano\u2019s arithmetic and the MRDP theorem. In: Logic and Algorithmic, no.\u00a030 in Monographie de L\u2019Enseignement Math\u00e9matique, pp. 187\u2013206. Universit\u00e9 de Gen\u00e8ve (1982)"},{"issue":"1","key":"508_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(90)90076-E","volume":"46","author":"R Kaye","year":"1990","unstructured":"Kaye, R.: Diophantine induction. Ann. Pure Appl. Log. 46(1), 1\u201340 (1990)","journal-title":"Ann. Pure Appl. Log."},{"issue":"1\u20132","key":"508_CR6","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0168-0072(93)90198-M","volume":"61","author":"R Kaye","year":"1993","unstructured":"Kaye, R.: Hilbert\u2019s tenth problem for weak theories of arithmetic. Ann. Pure Appl. Log. 61(1\u20132), 63\u201373 (1993)","journal-title":"Ann. Pure Appl. Log."},{"key":"508_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511529948","volume-title":"Bounded Arithmetic, Propositional Logic, and Complexity Theory, Encyclopedia of Mathematics and Its Applications","author":"J Kraj\u00ed\u010dek","year":"1995","unstructured":"Kraj\u00ed\u010dek, J.: Bounded Arithmetic, Propositional Logic, and Complexity Theory, Encyclopedia of Mathematics and Its Applications, vol. 60. Cambridge University Press, Cambridge (1995)"},{"issue":"2","key":"508_CR8","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1016\/0022-0000(78)90044-2","volume":"16","author":"KL Manders","year":"1978","unstructured":"Manders, K.L., Adleman, L.M.: $$\\mathit{NP}$$ NP -complete decision problems for binary quadratics. J. Comput. Syst. Sci. 16(2), 168\u2013184 (1978)","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"508_CR9","doi-asserted-by":"crossref","first-page":"779","DOI":"10.2307\/2274664","volume":"55","author":"M Otero","year":"1990","unstructured":"Otero, M.: On Diophantine equations solvable in models of open induction. J. Symb. Log. 55(2), 779\u2013786 (1990)","journal-title":"J. Symb. Log."},{"key":"508_CR10","unstructured":"rainmaker: Decidability of diophantine equation in a theory. MathOverflow (2015). http:\/\/mathoverflow.net\/q\/194491"},{"issue":"2","key":"508_CR11","first-page":"79","volume":"12","author":"JC Shepherdson","year":"1964","unstructured":"Shepherdson, J.C.: A nonstandard model for a free variable fragment of number theory. Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques 12(2), 79\u201386 (1964)","journal-title":"Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"issue":"1","key":"508_CR12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1090\/S0002-9947-1981-0597875-5","volume":"264","author":"L Dries van den","year":"1981","unstructured":"van den Dries, L.: Which curves over $$\\mathbf{Z}$$ Z have points with coordinates in a discrete ordered ring? Trans. Am. Math. Soc. 264(1), 181\u2013189 (1981)","journal-title":"Trans. Am. Math. Soc."},{"key":"508_CR13","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S0049-237X(08)72011-1","volume-title":"Logic Colloquium \u201977","author":"AJ Wilkie","year":"1978","unstructured":"Wilkie, A.J.: Some results and problems on weak systems of arithmetic. In: Macintyre, A. (ed.) Logic Colloquium \u201977, pp. 285\u2013296. North-Holland, Amsterdam (1978)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0508-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-016-0508-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-016-0508-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:27:09Z","timestamp":1498332429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-016-0508-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,22]]},"references-count":13,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["508"],"URL":"https:\/\/doi.org\/10.1007\/s00153-016-0508-5","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2016,9,22]]}}}