{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T15:11:50Z","timestamp":1715094710255},"reference-count":13,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2011,7,1]]},"DOI":"10.1215\/00294527-1435483","type":"journal-article","created":{"date-parts":[[2011,7,28]],"date-time":"2011-07-28T17:56:37Z","timestamp":1311875797000},"source":"Crossref","is-referenced-by-count":4,"title":["Automorphisms of Saturated and Boundedly Saturated Models of Arithmetic"],"prefix":"10.1215","volume":"52","author":[{"given":"Ermek S.","family":"Nurkhaidarov","sequence":"first","affiliation":[]},{"given":"Erez","family":"Shochat","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Blass, A., \"The intersection of nonstandard models of arithmetic\", <i>The Journal of Symbolic Logic<\/i>, vol. 37 (1972), pp. 103\u20136.","DOI":"10.2307\/2272552"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Gaifman, H., \"Models and types of Peano's arithmetic\", <i>Annals of Pure and Applied Logic<\/i>, vol. 9 (1976), pp. 223\u2013306.","DOI":"10.1016\/0003-4843(76)90002-4"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Kaye, R., <i>Models of Peano Arithmetic<\/i>, vol. 15 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 1991.","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Kaye, R., \"A Galois correspondence for countable recursively saturated models of Peano Arithmetic\", pp. 293\u2013312 in <i>Automorphisms of First-Order Structures<\/i>, Oxford Science Publications, Oxford University Press, New York, 1994.","DOI":"10.1093\/oso\/9780198534686.003.0014"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Kaye, R., R. Kossak, and H. Kotlarski, \"Automorphisms of recursively saturated models of arithmetic\", <i>Annals of Pure and Applied Logic<\/i>, vol. 55 (1991), pp. 67\u201399.","DOI":"10.1016\/0168-0072(91)90098-7"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Kossak, R., H. Kotlarski, and J. H. Schmerl, \"On maximal subgroups of the automorphism group of a countable recursively saturated model of PA\", <i>Annals of Pure and Applied Logic<\/i>, vol. 65 (1993), pp. 125\u201348.","DOI":"10.1016\/0168-0072(93)90035-C"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Kossak, R., and J. H. Schmerl, <i>The Structure of Models of Peano Arithmetic<\/i>, vol. 50 of <i>Oxford Logic Guides<\/i>, The Clarendon Press, New York, 2006.","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Kotlarski, H., \"On elementary cuts in recursively saturated models of Peano Arithmetic\", <i>Fundamenta Mathematicae<\/i>, vol. 120 (1984), pp. 205\u201322.","DOI":"10.4064\/fm-120-3-205-222"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] 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":"11","doi-asserted-by":"publisher","unstructured":"[11] Schmerl, J. H., \"Closed normal subgroups\", <i>Mathematical Logic Quarterly<\/i>, vol. 47 (2001), pp. 489\u201392.","DOI":"10.1002\/1521-3870(200111)47:4<489::AID-MALQ489>3.0.CO;2-8"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Shochat, E., \"Automorphisms of countable short recursively saturated models of PA\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 49 (2008), pp. 345\u201360.","DOI":"10.1215\/00294527-2008-016"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Smory\u0144ski, C., \"Back-and-forth inside a recursively saturated model of arithmetic\", pp. 273\u201378 in <i>Logic Colloquium '80 (Prague, 1980)<\/i>, vol. 108 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1982.","DOI":"10.1016\/S0049-237X(09)70516-6"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Nurkhaidarov, E. S., \"Automorphism groups of saturated models of PA\" of cardinality $\\aleph_1$, <i>Collected Works Devoted to the Memory of A. D. Taimanov<\/i>, (2006), pp. 295\u201397.","DOI":"10.2178\/jsl\/1140641169"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1435483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,9]],"date-time":"2024-04-09T10:17:04Z","timestamp":1712657824000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-3\/Automorphisms-of-Saturated-and-Boundedly-Saturated-Models-of-Arithmetic\/10.1215\/00294527-1435483.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,1]]},"references-count":13,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2011,7,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1435483","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,7,1]]}}}