{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:01Z","timestamp":1706650801346},"reference-count":14,"publisher":"Duke University Press","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,10,1]]},"DOI":"10.1305\/ndjfl\/1040136913","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:21:01Z","timestamp":1046208061000},"source":"Crossref","is-referenced-by-count":3,"title":["Four Problems Concerning Recursively Saturated Models of Arithmetic"],"prefix":"10.1215","volume":"36","author":[{"given":"Roman","family":"Kossak","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Gaifman, H., \u201cModels and types of Peano's Arithmetic,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 9 (1976), pp. 223\u2013306. Zbl 0332.02058 MR 53:10577","DOI":"10.1016\/0003-4843(76)90002-4"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Kaye, R., <i>Models of Peano Arithmetic<\/i>, Oxford Logic Guides, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Kaye, R., R. Kossak and H. Kotlarski, \u201cAutomorphisms of recursively saturated models of arithmetic,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 55 (1991), pp. 67\u201399. Zbl 0748.03023 MR 93c:03047","DOI":"10.1016\/0168-0072(91)90098-7"},{"key":"4","unstructured":"Kirby, L. A. S., Ph.D. thesis, University of Manchester, 1977."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Kirby, L. A. S., and J. B. Paris, \u201cInitial segments of models of Peano's axioms,\u201d pp. 211\u2013226 in <i>Set Theory and Hierarchy Theory V<\/i>, Lecture Notes in Mathematics 619, Springer-Verlag, Berlin, 1977. Zbl 0364.02032 MR 58:10423","DOI":"10.1007\/BFb0067653"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Knight, J. F., \u201cHanf number for omitting types over particular theories,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 41 (1976), pp. 583\u2013588. Zbl 0343.02039 MR 58:5170","DOI":"10.1017\/S002248120005115X"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Kossak, R., \u201cA certain class of models of Peano Arithmetic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 48 (1983), pp. 311\u2013320. Zbl 0514.03036 MR 84j:03076","DOI":"10.2307\/2273548"},{"key":"8","unstructured":"Kossak, R., \u201cRemarks on free sets,\u201d <i>Bulletin of the Polish Academy of Sciences<\/i>, vol. 34 (1986), pp. 117\u2013122. Zbl 0623.03056 MR 87k:03037"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Kossak, R., and H. Kotlarski, \u201cResults on automorphisms of recursively saturated models of \\PA,\u201d <i>Fundamenta Mathematic\u00e6<\/i>, vol. 129 (1988), pp. 9\u201315. Zbl 0662.03027 MR 89h:03064","DOI":"10.4064\/fm-129-1-9-15"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Kossak, R., H. Kotlarski and J. H. Schmerl, \u201cOn maximal subgroups of the automorphism group of a countable \\rs model of \\PA,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 65 (1993), pp. 125\u2013148. Zbl 0796.03043 MR 94m:03061","DOI":"10.1016\/0168-0072(93)90035-C"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Kossak, R., and J. H. Schmerl, \u201cMinimal satisfaction classes with an application to rigid models of Peano Aritmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 392\u2013398. Zbl 0748.03024 MR 92h:03051","DOI":"10.1305\/ndjfl\/1093635835"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Kotlarski, H., \u201cFull satisfaction classes: a survey,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 573\u2013579. Zbl 0752.03018 MR 93b:03120","DOI":"10.1305\/ndjfl\/1093635929"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C., \u201cElementary extensions of \\rs models of arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 193\u2013203. Zbl 0503.03032 MR 82g:03064","DOI":"10.1305\/ndjfl\/1093883454"},{"key":"14","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C., \u201cA note on initial segment constructions in \\rs models of arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 23 (1982), pp. 393\u2013408. Zbl 0519.03055 MR 83j:03058","DOI":"10.1305\/ndjfl\/1093870152"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040136913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:37Z","timestamp":1706649157000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-4\/Four-Problems-Concerning-Recursively-Saturated-Models-of-Arithmetic\/10.1305\/ndjfl\/1040136913.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,1]]},"references-count":14,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1995,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040136913","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,10,1]]}}}