{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:48:27Z","timestamp":1759146507872},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2017,9,12]],"date-time":"2017-09-12T00:00:00Z","timestamp":1505174400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005760","name":"University of Gothenburg","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005760","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2018,2]]},"DOI":"10.1007\/s00153-017-0582-3","type":"journal-article","created":{"date-parts":[[2017,9,12]],"date-time":"2017-09-12T14:50:17Z","timestamp":1505227817000},"page":"91-139","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Largest initial segments pointwise fixed by automorphisms of models of set theory"],"prefix":"10.1007","volume":"57","author":[{"given":"Ali","family":"Enayat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matt","family":"Kaufmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zachiri","family":"McKenzie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,12]]},"reference":[{"issue":"4","key":"582_CR1","doi-asserted-by":"crossref","first-page":"541","DOI":"10.2307\/2271778","volume":"40","author":"JE Baumgartner","year":"1975","unstructured":"Baumgartner, J.E.: Canonical partition relations. J. Symb. Log. 40(4), 541\u2013554 (1975)","journal-title":"J. Symb. Log."},{"key":"582_CR2","volume-title":"Model Theory. Studies in Logic and the Foundations of Mathematics","author":"CC Chang","year":"1990","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, 3rd edn. North-Holland, Amsterdam (1990)","edition":"3"},{"key":"582_CR3","doi-asserted-by":"crossref","unstructured":"Enayat, A.: Automorphisms, Mahlo cardinals, and NFU. In: Enayat, A., Kossak, R. (eds.) Nonstandard Models of Arithmetic and Set Theory. Contemporary Mathematics, vol. 361. American Mathematical Society, pp. 37\u201359 (2004)","DOI":"10.1090\/conm\/361\/06587"},{"key":"582_CR4","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4064\/fm192-1-3","volume":"192","author":"A Enayat","year":"2006","unstructured":"Enayat, A.: Automorphisms of models of bounded arithmetic. Fundam. Math. 192, 37\u201365 (2006)","journal-title":"Fundam. Math."},{"key":"582_CR5","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1112\/jlms\/s1-25.4.249","volume":"25","author":"P Erd\u0151s","year":"1950","unstructured":"Erd\u0151s, P., Rado, R.: A combinatorial theorem. J. Lond. Math. Soc. 25, 249\u2013250 (1950)","journal-title":"J. Lond. Math. Soc."},{"key":"582_CR6","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0002-9904-1956-10036-0","volume":"62","author":"P Erd\u0151s","year":"1956","unstructured":"Erd\u0151s, P., Rado, R.: A partition calculus in set theory. Bull. Am. Math. Soc. 62, 427\u2013489 (1956)","journal-title":"Bull. Am. Math. Soc."},{"issue":"1","key":"582_CR7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.2307\/2274922","volume":"56","author":"T Forster","year":"1991","unstructured":"Forster, T., Kaye, R.: End-extensions preserving power set. J. Symb. Log. 56(1), 323\u2013328 (1991)","journal-title":"J. Symb. Log."},{"key":"582_CR8","doi-asserted-by":"crossref","unstructured":"Friedman, H.M.: Countable models of set theories. In: Mathias, A.R.D., Rogers Jr., H. (eds.) Cambridge Summer School in Mathematical Logic, August 1\u201321, 1971. Springer Lecture Notes in Mathematics, vol. 337. Spinger, Berlin, pp. 539\u2013573 (1973)","DOI":"10.1007\/BFb0066789"},{"key":"582_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.2307\/2694912","volume":"66","author":"MR Holmes","year":"2001","unstructured":"Holmes, M.R.: Strong axioms of infinity in NFU. J. Symb. Log. 66, 87\u2013116 (2001)","journal-title":"J. Symb. Log."},{"issue":"1","key":"582_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1017\/S0022481200051823","volume":"41","author":"JE Hutchinson","year":"1976","unstructured":"Hutchinson, J.E.: Elementary extensions of countable models of set theory. J. Symb. Log. 41(1), 139\u2013145 (1976)","journal-title":"J. Symb. Log."},{"key":"582_CR11","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/BF00568059","volume":"19","author":"RB Jensen","year":"1969","unstructured":"Jensen, R.B.: On the consistency of a slight (?) modification of Quine\u2019s new foundations. Synthese 19, 250\u2013263 (1969)","journal-title":"Synthese"},{"issue":"4","key":"582_CR12","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.2307\/2273669","volume":"48","author":"M Kaufmann","year":"1983","unstructured":"Kaufmann, M.: Blunt and topless extensions of models of set theory. J. Symb. Log. 48(4), 1053\u20131073 (1983)","journal-title":"J. Symb. Log."},{"key":"582_CR13","volume-title":"Models of Arithmetic. Oxford Logic Guides. Oxford Science Publications","author":"R Kaye","year":"1991","unstructured":"Kaye, R.: Models of Arithmetic. Oxford Logic Guides. Oxford Science Publications, vol. 15. The Clarendon Press, Oxford (1991)"},{"key":"582_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001","volume-title":"The Structure of Models of Peano Arithmetic. Oxford Logic Guides. Oxford Science Publications","author":"R Kossak","year":"2006","unstructured":"Kossak, R., Schmerl, J.H.: The Structure of Models of Peano Arithmetic. Oxford Logic Guides. Oxford Science Publications, vol. 50. The Clarendon Press, Oxford (2006)"},{"issue":"2","key":"582_CR15","doi-asserted-by":"crossref","first-page":"253","DOI":"10.2307\/2273545","volume":"48","author":"H Kotlarski","year":"1983","unstructured":"Kotlarski, H.: On cofinal extensions of models of arithmetic. J. Symb. Log. 48(2), 253\u2013262 (1983)","journal-title":"J. Symb. Log."},{"issue":"5","key":"582_CR16","doi-asserted-by":"crossref","first-page":"601","DOI":"10.1016\/j.apal.2014.12.002","volume":"166","author":"Z McKenzie","year":"2015","unstructured":"McKenzie, Z.: Automorphisms of models of set theory and extensions of NFU. Ann. Pure Appl. Log. 166(5), 601\u2013638 (2015)","journal-title":"Ann. Pure Appl. Log."},{"issue":"1\u20133","key":"582_CR17","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0168-0072(00)00031-2","volume":"110","author":"ARD Mathias","year":"2001","unstructured":"Mathias, A.R.D.: The strength of Mac Lane set theory. Ann. Pure Appl. Log. 110(1\u20133), 107\u2013234 (2001)","journal-title":"Ann. Pure Appl. Log."},{"key":"582_CR18","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0022-4049(72)90006-0","volume":"2","author":"W Mitchell","year":"1972","unstructured":"Mitchell, W.: Boolean topoi and the theory of sets. J. Pure Appl. Algebra 2, 261\u2013274 (1972)","journal-title":"J. Pure Appl. Algebra"},{"issue":"3","key":"582_CR19","doi-asserted-by":"crossref","first-page":"205","DOI":"10.4064\/fm-103-3-205-215","volume":"103","author":"J Paris","year":"1979","unstructured":"Paris, J., Mills, G.: Closure properties of countable nonstandard integers. Fundam. Math. 103(3), 205\u2013215 (1979)","journal-title":"Fundam. Math."},{"issue":"2","key":"582_CR20","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2272817","volume":"43","author":"JS Schlipf","year":"1978","unstructured":"Schlipf, J.S.: Toward model theory through recursive saturation. J. Symb. Log. 43(2), 183\u2013206 (1978)","journal-title":"J. Symb. Log."},{"key":"582_CR21","doi-asserted-by":"crossref","unstructured":"Schmerl, J.H.: Recursively saturated rather classless models of Peano arithmetic. Logic Year 1979-80. Lecture Notes in Mathematics, vol. 859. Springer, Berlin and New York, pp. 268\u2013282 (1981)","DOI":"10.1007\/BFb0090952"},{"issue":"2","key":"582_CR22","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1305\/ndjfl\/1093870818","volume":"26","author":"JH Schmerl","year":"1985","unstructured":"Schmerl, J.H.: Recursively saturated models generated by indiscernibles. Notre Dame J. Form. Log. 26(2), 99\u2013105 (1985)","journal-title":"Notre Dame J. Form. Log."},{"key":"582_CR23","doi-asserted-by":"crossref","unstructured":"Smory\u0144ski, C.: Back and forth inside a recursively saturated model of arithmetic. Logic Colloquium \u201980 (Prague, 1980). Studies in Logic and the Foundations of Mathematics, vol. 108. North-Holland, Amsterdam-New York, pp. 273\u2013278 (1982)","DOI":"10.1016\/S0049-237X(09)70516-6"},{"key":"582_CR24","unstructured":"Solovay, R.: The consistency strength of NFUB. arXiv:math\/9707207 [math.LO] (preprint)"},{"key":"582_CR25","doi-asserted-by":"crossref","unstructured":"Togha, A.A.: Automorphisms of countable recursively saturated models of set theory. In: Enayat, A., R. Kossak, R. (eds.) Nonstandard Models of Arithmetic and Set Theory. Contemporary Mathematics, vol. 361. American Mathematical Society, pp. 163\u2013167 (2004)","DOI":"10.1090\/conm\/361\/06594"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0582-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0582-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0582-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,18]],"date-time":"2020-05-18T07:18:14Z","timestamp":1589786294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0582-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,12]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2018,2]]}},"alternative-id":["582"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0582-3","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,9,12]]}}}