{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803711},"reference-count":17,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1998,1,1]]},"DOI":"10.1305\/ndjfl\/1039293026","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T20:47:44Z","timestamp":1046206064000},"source":"Crossref","is-referenced-by-count":1,"title":["Recursive Models and the Divisibility Poset"],"prefix":"10.1215","volume":"39","author":[{"given":"James H.","family":"Schmerl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"Cegielski, P., \u201cLa th\u00e9orie \u00e9l\u00e9mentaire de la divisibilit\u00e9 est finiment axiomatisable,\u201d <i>Comptes Rendus des S\u00e9ances de l'Acad\u00e9mie des Sciences.<\/i> S\u00e9rie 1. Math\u00e9tique, vol. 299 (1984), pp. 367\u201369. Zbl 0583.03005 MR 85j:03042"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Cegielski, P., \u201cThe elementary theory of the natural lattice is finitely axiomatizable,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 30 (1989), pp. 138\u201350. Zbl 0704.03012 MR 90j:03068","DOI":"10.1305\/ndjfl\/1093635001"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Cegielski, P., \u201cTh\u00e9orie \u00e9l\u00e9mentaire de la multiplication des entiers naturels,\u201d pp. 44\u201389 in <i>Model Theory and Arithmetic<\/i>, vol. 890, Lecture Notes in Mathematics, edited by C. Berline, K. McAloon, and J.-P. Ressayre, Springer-Verlag, Berlin, 1981. Zbl 0478.03011 MR 83e:03094","DOI":"10.1007\/BFb0095657"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Chatzidakis, Z., \u201cLa repr\u00e9sentation en termes de faisceaux des mod\u00e8les de la th\u00e9orie \u00e9l\u00e9mentaire de la multiplication des entiers naturels,\u201d pp. 90\u2013110 in <i>Model Theory and Arithmetic<\/i>, vol. 890, Lecture Notes in Mathematics, edited by C. Berline, K. McAloon, and J.-P. Ressayre, Springer-Verlag, Berlin, 1981. Zbl 0496.03018 MR 83h:03049","DOI":"10.1007\/BFb0095658"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Ershov, J., \u201cSkolem functions and constructive models,\u201d <i>Algebra and Logic<\/i>, vol. 12 (1973), pp. 368\u201373. Zbl 0294.02017","DOI":"10.1007\/BF02218728"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Higman, G., \u201cOrdering by divisibility in abstract algebra,\u201d <i>Proceedings of the London Mathematical Society,<\/i> vol. 2 (1952), pp. 326\u201336. MR 14,238e","DOI":"10.1112\/plms\/s3-2.1.326"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Jensen, D., and A. Ehrenfeucht, \u201cSome problems in elementary arithmetic,\u201d <i>Fundamenta Mathematicae,<\/i> vol. 92 (1976), pp. 223\u201345. MR 54:7244","DOI":"10.4064\/fm-92-3-223-245"},{"key":"8","unstructured":"Kaye, R., <i>Models of Peano Arithmetic<\/i>, <i>Oxford Logic Guides<\/i>, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Knight, J. F., \u201cNonarithmetical $\\aleph_0$-categorical theories with recursive models,\u201d <i>The Journal of Symbolic Logic,<\/i> vol. 59 (1994), pp. 106\u201312. Zbl 0804.03021 MR 95a:03045","DOI":"10.2307\/2275253"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Kruskal, J. B., \u201cWell-quasi-ordering, the tree theorem, and V\u00e1zsonyi's conjecture,\u201d <i>Transactions of the American Mathematical Society,<\/i> vol. 95 (1960), pp. 210\u201325. Zbl 0158.27002 MR 22:2566","DOI":"10.2307\/1993287"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Lerman, M., and J. H. Schmerl, \u201cTheories with recursive models,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 44 (1979), pp. 59\u201376. Zbl 0423.03038 MR 81g:03036","DOI":"10.2307\/2273704"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Nadel, M. E., \u201cThe completeness of Peano multiplication,\u201d <i>Israel Journal of Mathematics,<\/i> vol. 39 (1981), pp. 225\u201333. Zbl 0472.03023 MR 83f:03059","DOI":"10.1007\/BF02760851"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Peretyat'kin, M. G., \u201cEvery recursively enumerable extension of a theory of linear order has a constructible model,\u201d <i>Algebra and Logic<\/i>, vol. 12 (1973), pp. 120\u201324. MR 54:7243","DOI":"10.1007\/BF02219295"},{"key":"14","unstructured":"Presburger, M., \u201c\u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen in welchen die Addition als einzige Operation hervortritt,\u201d pp. 92\u2013101, 395 in <i>Comptes-rendus du I Congr\u00e8s des Math\u00e9maticiens des Pays Slaves<\/i>, Warsaw, 1929."},{"key":"15","unstructured":"Schmerl, J. H., \u201cArborescent structures, I: Recursive models,\u201d pp. 226\u201331 in <i>Aspects of Effective Algebra<\/i>, edited by J. N. Crossley, Upside Down A Book Company, Steele's Creek, 1981. Zbl 0475.03013 MR 83g:03033a"},{"key":"16","unstructured":"Skolem, T., \u201c\u00dcber einige satzfunktionen in der Arithmetik,\u201d <i>Skrifter Vitenskapsakademiet i Oslo<\/i>, vol. 7 (1930), pp. 1\u201328. Zbl 0002.00302"},{"key":"17","unstructured":"Tennenbaum, S., Abstract of \u201cNon-Archimedean models for arithmetic,\u201d <i>Notices of the American Mathematical Society<\/i>, vol. 6 (1959), pp. 270."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039293026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:19Z","timestamp":1706649199000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-39\/issue-1\/Recursive-Models-and-the-Divisibility-Poset\/10.1305\/ndjfl\/1039293026.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1,1]]},"references-count":17,"journal-issue":{"issue":"1","published-online":{"date-parts":[[1998,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039293026","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1,1]]}}}