{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803035},"reference-count":32,"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\/1040136912","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:20:41Z","timestamp":1046208041000},"source":"Crossref","is-referenced-by-count":4,"title":["Automorphisms of Countable Recursively Saturated Models of PA: A Survey"],"prefix":"10.1215","volume":"36","author":[{"given":"Henryk","family":"Kotlarski","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Abramson, F., and L. Harrington, \u201cModels without indiscernibles,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 43 (1978), pp. 572\u2013600. Zbl 0391.03027 MR 80a:03045","DOI":"10.2307\/2273534"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Barwise, J., and J. Schlipf, \u201cOn recursively saturated models of arithmetic,\u201d pp. 42\u201355 in <i>Model Theory and Algebra: a memorial tribute to A. Robinson<\/i>, Springer Lecture Notes in Mathematics, vol. 498, edited by D. H. Saracino and V. Weipsfennig, Springer-Verlag, Berlin, 1976. Zbl 0343.02031 MR 53:12934","DOI":"10.1007\/BFb0080973"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., and A. Mostowski, \u201cModels of axiomatic theories admitting automorphisms,\u201d <i>Fundamenta Mathematic\u00e6<\/i> vol. 43 (1956), pp. 50\u201368. Zbl 0073.00704 MR 18,863a","DOI":"10.4064\/fm-43-1-50-68"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Gaifman, H., \u201cModels and types of Peano 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":"5","unstructured":"Hodges, W., \u201cModels built on linear orderings,\u201d <i>Annals of Discrete Mathematics<\/i>, vol. 23 (1984), pp. 207\u2013234. Zbl 0553.03020 MR 86h:03053"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Hodges, W., I. Hodkinson, D. Lascar, and S. Shelah, \u201cThe small index property for $\\omega$-stable $\\omega$-categorical theory and for the random graph,\u201d <i>Journal of the London Mathematical Society<\/i>, vol. 48 (1993), pp. 204\u2013218. Zbl 0788.03039 MR 94d:03063","DOI":"10.1112\/jlms\/s2-48.2.204"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Kaye, R., \u201cModels of Peano Arithmetic,\u201d <i>Oxford Logic Guides<\/i>, Oxford University Press, Oxford, 1991. Zbl 0744.03037 MR 92k:03034","DOI":"10.1093\/oso\/9780198532132.001.0001"},{"key":"8","doi-asserted-by":"publisher","unstructured":"Kaye, R., \u201cThe automorphism group of a countable recursively saturated structure,\u201d <i>Proceedings of the London Mathematical Society<\/i>, vol. 65 (1992), pp. 225\u2013244. Zbl 0763.20002 MR 93g:03026","DOI":"10.1112\/plms\/s3-65.2.225"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Kaye, R., \u201cA Galois correspondence for models of PA,\u201d pp. 293\u2013312 in <i>Automorphism of first order structures<\/i>, edited by R. Kaye and D. Macpherson, Oxford University Press, Oxford, 1994. Zbl 0824.03015 MR 1325480","DOI":"10.1093\/oso\/9780198534686.003.0014"},{"key":"10","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\u201391. Zbl 0748.03023 MR 93c:03047","DOI":"10.1016\/0168-0072(91)90098-7"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Kirby, L., \u201cInitial segments of models of arithmetic,\u201d Ph.D. Thesis, University of Manchester, 1977.","DOI":"10.1007\/BFb0067653"},{"key":"12","unstructured":"Kossak, R., \u201cExercises in `back and forth',\u201d in <i>Proceedings of the Ninth Easter Conference on Model Theory<\/i>, vol. 112, edited by H. Wolter, Fachbereich Mathematik der Humboldt Uniwersit\u00e4t zu Berlin, 1991. Zbl 0753.03014"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Kossak, R., and N. Bamber, \u201cOn two questions concerning the automorphism groups of countable recursively saturated models of PA, unpublished.","DOI":"10.1007\/s001530050056"},{"key":"14","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":"15","unstructured":"Kossak, R., and H. Kotlarski, \u201cOn extending automorphisms of countable recursively saturated models of PA,\u201d forthcoming in <i>Fundamenta Mathematic\u00e6<\/i>. Zbl 0905.03025 MR 97d:03050"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Kossak, R., H. Kotlarski, and J. Schmerl, \u201cOn maximal subgroups of the automorphism group of a countable recursively saturated models 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":"17","doi-asserted-by":"crossref","unstructured":"Kossak, R., and J. Schmerl, \u201cMinimal satisfaction classes with an application,\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":"18","unstructured":"Kossak, R., and J. Schmerl, \u201cThe automorphism group of an arithmetically saturated model of Peano arithmetic,\u201d forthcoming in <i>Journal of the London Mathematical Society<\/i>. Zbl 0905.03024 MR 97a:03048"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Kotlarski, H., \u201cOn elementary cuts in recursively saturated models of arithmetic,\u201d <i>Fundamenta Mathematic\u00e6<\/i>, vol. 120 (1984), pp. 205\u2013222. Zbl 0572.03016 MR 86f:03056","DOI":"10.4064\/fm-120-3-205-222"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Kotlarski, H., and R. Kaye, \u201cAutomorphisms of models of True Arithmetic: recognizing some basic open subgroups,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 35 (1994), pp. 1\u201314. Zbl 0824.03016 MR 95h:03094","DOI":"10.1305\/ndjfl\/1040609291"},{"key":"21","doi-asserted-by":"crossref","unstructured":"Kotlarski, H., and B. Piekart, \u201cAutomorphisms of models of True Arithmetic: subgroups which extend to a maximal one uniquely,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 40 (1994), pp. 95\u2013102. Zbl 0806.03026 MR 95e:03112","DOI":"10.1002\/malq.19940400113"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Kotlarski, H.,and B. Piekart, \u201cAutomorphisms of countable recursively saturated models of PA: open subgroups and invariant cuts,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 41 (1995), pp. 138\u2013142. Zbl 0816.03018 MR 96e:03043","DOI":"10.1002\/malq.19950410112"},{"key":"23","doi-asserted-by":"crossref","unstructured":"Kueker, D., \u201cBack and forth arguments in infinitary logic,\u201d pp. 17\u201371 in <i>In memoriam Carol Karp<\/i>, Springer Lecture Notes in Mathematics, vol. 429, edited by D. W. Kueker, Springer-Verlag, Berlin, 1969. Zbl 0316.02018 MR 57:2905","DOI":"10.1007\/BFb0081120"},{"key":"24","unstructured":"Lascar, D., \u201cThe small index property and recursively saturated models of Peano Arithmetic, in <i>Automorphisms of the First Order Structures<\/i> edited by R. Kaye and D. Macpherson, Oxford University Press, Oxford, 1994. Zbl 0824.03014 MR 1 325 479"},{"key":"25","doi-asserted-by":"crossref","unstructured":"Macpherson, D., \u201cGroups of automorphisms of $\\aleph\\sb0$-categorical structures,\u201d <i>Oxford Quarterly Journal of Mathematics<\/i>, vol. 37 (1986), pp. 449\u2013465. Zbl 0611.03014 MR 88d:20007","DOI":"10.1093\/qmath\/37.4.449"},{"key":"26","doi-asserted-by":"publisher","unstructured":"Piekart, B., \u201cOn closed elementary cuts in recursively saturated models of Peano Arithmetic,\u201d <i>Notre Dame Journal Formal Logic<\/i>, vol. 34 (1993), pp. 223\u2013230. Zbl 0783.03016 MR 94j:03077","DOI":"10.1305\/ndjfl\/1093634654"},{"key":"27","doi-asserted-by":"crossref","unstructured":"Ressayre, J. P., \u201cModels with compactness properties relative to an admissible language,\u201d <i>Annals of Mathematical Logic<\/i>, vol. 7 (1976), pp. 31\u201355. Zbl 0376.02032 MR 57:5735","DOI":"10.1016\/0003-4843(77)90009-2"},{"key":"28","doi-asserted-by":"publisher","unstructured":"Schlipf, J., \u201cToward model theory through recursive saturation,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 43 (1978), pp. 183\u2013206. Zbl 0409.03019 MR 58:10399","DOI":"10.2307\/2272817"},{"key":"29","doi-asserted-by":"publisher","unstructured":"Schmerl, J., \u201cRecursively saturated models generated by indiscernibles,\u201d <i>Notre Dame Journal Formal Logic<\/i>, vol. 26 (1985), pp. 95\u2013105. Zbl 0487.03018 MR 87g:03038","DOI":"10.1305\/ndjfl\/1093870818"},{"key":"30","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C., \u201cRecursively saturated nonstandard models of arithmetic,\u201d <i>The Journalof Symbolic Logic<\/i>, vol. 46 (1981), pp. 259\u2013256. Zbl 0501.03044 MR 84b:03054","DOI":"10.2307\/2273620"},{"key":"31","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski C., \u201cBack and forth inside a recursively saturated model of arithmetic,\u201d pp. 273\u2013278 in <i>Logic Colloquium '80<\/i>, edited by D. van Dalen, North-Holland, Amsterdam, 1982. Zbl 0503.03033 MR 83m:03041","DOI":"10.1016\/S0049-237X(09)70516-6"},{"key":"32","doi-asserted-by":"crossref","unstructured":"Trussa, J., \u201cInfinite permutation groups: subgroups of small index,\u201d <i>Journal of Algebra<\/i>, vol. 120 (1989), pp. 494\u2013515. Zbl 0666.20002 MR 90c:20004","DOI":"10.1016\/0021-8693(89)90212-3"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040136912","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\/Automorphisms-of-Countable-Recursively-Saturated-Models-of-PA--A\/10.1305\/ndjfl\/1040136912.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,1]]},"references-count":32,"journal-issue":{"issue":"4","published-online":{"date-parts":[[1995,10,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040136912","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,10,1]]}}}