{"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":1706649036235},"reference-count":12,"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-1716739","type":"journal-article","created":{"date-parts":[[2012,9,24]],"date-time":"2012-09-24T23:30:27Z","timestamp":1348529427000},"source":"Crossref","is-referenced-by-count":0,"title":["Transplendent Models: Expansions Omitting a Type"],"prefix":"10.1215","volume":"53","author":[{"given":"Fredrik","family":"Engstr\u00f6m","sequence":"first","affiliation":[]},{"given":"Richard W.","family":"Kaye","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Barwise, J., and J. Schlipf, \u201cAn introduction to recursively saturated and resplendent models,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 41 (1976), pp. 531\u2013536.","DOI":"10.2307\/2272253"},{"key":"2","unstructured":"[2] Enayat, A., and A. Visser, \u201cFull satisfaction classes in a general setting, I,\u201d in preparation."},{"key":"3","unstructured":"[3] Engstr\u00f6m, F., \u201cSatisfaction classes in nonstandard models of arithmetic,\u201d Licentiate thesis, Chalmers University of Technology (Sweden), 2002."},{"key":"4","unstructured":"[4] Engstr\u00f6m, F., \u201cExpansions, omitting types, and standard systems,\u201d Ph.D. dissertation, Chalmers University of Technology (Sweden), ProQuest LLC, Ann Arbor, 2004."},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Hinman, P. G., <i>Recursion-Theoretic Hierarchies, Perspectives in Mathematical Logic<\/i>, Springer-Verlag, Berlin, 1978.","DOI":"10.1007\/978-3-662-12898-5"},{"key":"6","unstructured":"[6] Kaye, R., <i>Models of Peano Arithmetic<\/i>, vol. 15 of <i>Oxford Logic Guides<\/i>, Clarendon Press, Oxford University Press, New York, 1991."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] 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.","DOI":"10.1016\/0168-0072(91)90098-7"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] K\u00f6rner, F., \u201cAutomorphisms moving all non-algebraic points and an application to NF,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 63 (1998), pp. 815\u2013830.","DOI":"10.2307\/2586714"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] 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":"10","doi-asserted-by":"publisher","unstructured":"[10] Kotlarski, H., S. Krajewski, and A. H. Lachlan, \u201cConstruction of satisfaction classes for nonstandard models,\u201d <i>Canadian Mathematical Bulletin<\/i>, vol. 24 (1981), pp. 283\u2013293.","DOI":"10.4153\/CMB-1981-045-3"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Ressayre, J.-P., \u201cModels with compactness properties relative to an admissible language,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 11 (1977), pp. 31\u201355.","DOI":"10.1016\/0003-4843(77)90009-2"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Smith, S. T., \u201cExtendible sets in Peano arithmetic,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 316 (1989), pp. 337\u2013367.","DOI":"10.1090\/S0002-9947-1989-0946223-4"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1716739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:51Z","timestamp":1706648271000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-53\/issue-3\/Transplendent-Models-Expansions-Omitting-a-Type\/10.1215\/00294527-1716739.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":12,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1716739","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}