{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:32Z","timestamp":1706649032503},"reference-count":19,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2012,1,1]]},"DOI":"10.1215\/00294527-1716802","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T23:30:27Z","timestamp":1348529427000},"source":"Crossref","is-referenced-by-count":2,"title":["On Cofinal Submodels and Elementary Interstices"],"prefix":"10.1215","volume":"53","author":[{"given":"Roman","family":"Kossak","sequence":"first","affiliation":[]},{"given":"James H.","family":"Schmerl","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Bamber, N., and H. Kotlarski, \u201cOn interstices of countable arithmetically saturated models of Peano arithmetic,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 43 (1997), pp. 525\u2013540.","DOI":"10.1002\/malq.19970430408"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Bigorajska, T., \u201cStrongly maximal subgroups determined by elements in interstices,\u201d <i>Mathematical Logic Quartely<\/i>, vol. 49 (2003), pp. 101\u2013108.","DOI":"10.1002\/malq.200310010"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Gaifman, H., \u201cModels and types of Peano\u2019s arithmetic,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 9 (1976), pp. 223\u2013306.","DOI":"10.1016\/0003-4843(76)90002-4"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Jensen, D., and A. Ehrenfeucht, \u201cSome problem in elementary arithmetics,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 92 (1976), pp. 223\u2013245.","DOI":"10.4064\/fm-92-3-223-245"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Kaye, R., and T. L. Wong, \u201cTruth in generic cuts,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 161 (2010), pp. 987\u20131005.","DOI":"10.1016\/j.apal.2009.11.001"},{"key":"6","unstructured":"[6] Kirby, L. A. S, \u201cInitial segments of models of arithmetic,\u201d Ph.D. dissertation, University of Manchester, Manchester, 1977."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Kossak, R., \u201cA note on satisfaction classes,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 26 (1985), pp. 1\u20138.","DOI":"10.1305\/ndjfl\/1093870757"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] Kossak, R., \u201cModels with the $\\omega$-property,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 54 (1989), pp. 177\u2013189.","DOI":"10.2307\/2275023"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Kossak, R., \u201cA note on a theorem of Kanovei,\u201d <i>Archive for Mathematical Logic<\/i>, vol. 43 (2004), pp. 565\u2013569.","DOI":"10.1007\/s00153-004-0218-2"},{"key":"10","unstructured":"[10] Kossak, R., and H. Kotlarski, \u201cOn extending automorphisms of models of Peano arithmetic,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 149 (1996), pp. 245\u2013263."},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Kossak, R., and H. Kotlarski, \u201cMore on extending automorphisms of models of Peano arithmetic,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 200 (2008), pp. 133\u2013143.","DOI":"10.4064\/fm200-2-2"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Kossak, R., H. Kotlarski, and J. H. Schmerl, \u201cOn maximal subgroups of the automorphism group of a countable recursively saturated model of PA,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 65 (1993), pp. 125\u2013148.","DOI":"10.1016\/0168-0072(93)90035-C"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Kossak, R., and J. H. Schmerl, \u201cArithmetically saturated models of arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), pp. 531\u2013546.","DOI":"10.1305\/ndjfl\/1040136914"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Kossak, R., and J. H. Schmerl, <i>The Structure of Models of Peano Arithmetic<\/i>, vol. 50 of <i>Oxford Logic Guides<\/i>, Clarendon Press, Oxford University Press, Oxford, 2006.","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Schmerl, J. H., \u201cElementary cuts in saturated models of Peano Arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 53 (2012), 1\u201313.","DOI":"10.1215\/00294527-1626491"},{"key":"16","unstructured":"[16] Simpson, S. G., <i>Subsystems of Second Order Arithmetic<\/i>, 2nd edition, <i>Perspectives in Logic<\/i>, Cambridge University Press, Cambridge, 2009."},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] Smory\u0144ski, C., \u201cCofinal extensions of nonstandard models of arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 133\u2013144.","DOI":"10.1305\/ndjfl\/1093883398"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] Smory\u0144ski, C., \u201cElementary extensions of recursively saturated models of arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 193\u2013203.","DOI":"10.1305\/ndjfl\/1093883454"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Smory\u0144ski, C., \u201cA note on initial segment constructions in recursively saturated models of arithmetic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 23 (1982), pp. 393\u2013408.","DOI":"10.1305\/ndjfl\/1093870152"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1716802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:54Z","timestamp":1706648274000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-3\/On-Cofinal-Submodels-and-Elementary-Interstices\/10.1215\/00294527-1716802.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":19,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1716802","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}