{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:36Z","timestamp":1706649036464},"reference-count":8,"publisher":"Duke University Press","issue":"1","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-1626491","type":"journal-article","created":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T17:57:44Z","timestamp":1336586264000},"source":"Crossref","is-referenced-by-count":2,"title":["Elementary Cuts in Saturated Models of Peano Arithmetic"],"prefix":"10.1215","volume":"53","author":[{"given":"James H.","family":"Schmerl","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"Bovykin, A., and R. Kaye, \"Order-types of models of Peano arithmetic\", pp. 275\u201385 in <i>Logic and Algebra<\/i>, edited by Yi Zhang, vol. 302 of <i>Contemporary Mathematics<\/i>, American Mathematical Society, Providence, 2002.","DOI":"10.1090\/conm\/302\/05055"},{"key":"2","unstructured":"Bovykin, A. I., <i>On order-types of models of arithmetic<\/i>, Ph.D. thesis, University of Birmingham, 2000."},{"key":"3","doi-asserted-by":"publisher","unstructured":"Kossak, R., \"A note on satisfaction classes\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 26 (1985), pp. 1\u20138.","DOI":"10.1305\/ndjfl\/1093870757"},{"key":"4","unstructured":"Kossak, R., and H. Kotlarski, \"On extending automorphisms of models of Peano arithmetic\", <i>Fundamenta Mathematicae<\/i>, vol. 149 (1996), pp. 245\u201363."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Kossak, R., and J. H. Schmerl, \"On cofinal submodels and elementary interstices\". forthcoming in <i>Notre Dame Journal of Formal Logic<\/i>, 2012.","DOI":"10.1215\/00294527-1716802"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Kossak, R., and J. H. Schmerl, <i>The structure of models of Peano arithmetic<\/i>, vol. 50 of <i>Oxford Logic Guides<\/i>, Oxford University Press, Oxford, 2006. Oxford Science Publications.","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Pabion, J.-F., \"Saturated models of Peano arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 47 (1982), pp. 625\u201337.","DOI":"10.2307\/2273592"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Smory\u0144ski, C., \"Elementary extensions of recursively saturated models of arithmetic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 22 (1981), pp. 193\u2013203.","DOI":"10.1305\/ndjfl\/1093883454"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1626491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:46Z","timestamp":1706648266000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-1\/Elementary-Cuts-in-Saturated-Models-of-Peano-Arithmetic\/10.1215\/00294527-1626491.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1626491","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}