{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T09:24:40Z","timestamp":1763544280148},"reference-count":16,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,1,1]]},"DOI":"10.1305\/ndjfl\/1039700698","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:57:31Z","timestamp":1046206651000},"source":"Crossref","is-referenced-by-count":4,"title":["Toward the Limits of the Tennenbaum Phenomenon"],"prefix":"10.1215","volume":"38","author":[{"given":"Paola","family":"D'Aquino","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Bennett, J. H., <i>On spectra<\/i>, Ph.D. Dissertation, Princeton University, Princeton, 1962."},{"key":"2","doi-asserted-by":"publisher","unstructured":"Berarducci A., and M. Otero, \u201cRecursive model of normal open induction,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 61 (1996), pp. 1228\u201341. Zbl 0870.03025","DOI":"10.2307\/2275813"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Berarducci, A., and B. Intrigila, \u201cCombinatorial principles in elementary number theory,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 55 (1991), pp. 35\u201350. Zbl 0747.03025 MR 92j:03051","DOI":"10.1016\/0168-0072(91)90096-5"},{"key":"4","unstructured":"Buss, S. R., <i>Bounded Arithmetic<\/i>, Bibliopolis, Naples, 1986 Zbl 0649.03042 MR 89h:03104"},{"key":"5","doi-asserted-by":"crossref","unstructured":"D'Aquino, P., \u201cPell equations and fragments of arithmetic,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 77 (1996), pp. 1\u201334. Zbl 0855.03034 MR 97a:03066","DOI":"10.1016\/0168-0072(95)00018-6"},{"key":"6","unstructured":"Gaifman, H., and C. Dimitracopoulos, \u201cFragments of Peano's Arithmetic and the MRDP theorem,\u201d pp. 187\u2013206 in <i>Logic and Algorithmic, Monographie n. 30 de L'Enseignement Mathematique<\/i>, Geneva, 1982. Zbl 0498.03045 MR 83j:03095"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Kaye, R., <i>Models of Peano Arithmetic<\/i>, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Kaye, R., \u201cDiophantine induction,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 46 (1990), pp. 1\u201340. Zbl 0693.03038 MR 91f:03117","DOI":"10.1016\/0168-0072(90)90076-E"},{"key":"9","unstructured":"Manin, Y. I., <i>A Course in Mathematical Logic<\/i>, <i>Graduate Text in Mathematics<\/i> 53, Springer-Verlag, Berlin, 1977. Zbl 0383.03002 MR 56:15345"},{"key":"10","doi-asserted-by":"crossref","unstructured":"McAloon, K., \u201cOn the complexity of models of arithmetic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 47 (1982), pp. 403\u201315. Zbl 0519.03056 MR 84h:03084","DOI":"10.2307\/2273150"},{"key":"11","unstructured":"Nelson, E., <i>Predicative arithmetic<\/i>, Princeton University Press, Princeton, 1986. Zbl 0617.03002 MR 88c:03061"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Paris J. B., A. Wilkie, and A. Woods, \u201cProvability of the pigeonhole principle and the existence of infinitely many primes,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 53 (1988), pp. 1235\u201344. Zbl 0688.03042 MR 90d:03125","DOI":"10.1017\/S0022481200028061"},{"key":"13","unstructured":"Shepherdson, J., \u201cA nonstandard model for a free variable fragment of number theory,\u201d <i>Bulletin de l'Academique Polonaise des Sciences. S\u00e9rie des Sciences, Mathematiques, Astronomique at Physiques<\/i>, vol. 12 (1964), pp. 79\u201386."},{"key":"14","unstructured":"Tennenbaum, S., \u201cNon-Archimedean models for arithmetic,\u201d <i>Notices of American Mathematical Society<\/i>, vol. 6 (1959), p. 270."},{"key":"15","doi-asserted-by":"crossref","unstructured":"Wilkie, A., and J. Paris, \u201cOn the scheme of induction for bounded arithmetic formulas,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 35 (1987), pp. 261\u2013302. Zbl 0647.03046 MR 89g:03087","DOI":"10.1016\/0168-0072(87)90066-2"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Wilmers, G., \u201cBounded existential induction,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 72\u201390. Zbl 0634.03029 MR 86h:03068","DOI":"10.2307\/2273790"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039700698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:00Z","timestamp":1706649180000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-1\/Toward-the-Limits-of-the-Tennenbaum-Phenomenon\/10.1305\/ndjfl\/1039700698.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1,1]]},"references-count":16,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1997,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039700698","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,1,1]]}}}