{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:22:59Z","timestamp":1740108179773,"version":"3.37.3"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T00:00:00Z","timestamp":1507161600000},"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,8]]},"DOI":"10.1007\/s00153-017-0592-1","type":"journal-article","created":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T23:48:58Z","timestamp":1507160938000},"page":"557-576","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Iterated ultrapowers for the masses"],"prefix":"10.1007","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0372-3354","authenticated-orcid":false,"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,10,5]]},"reference":[{"key":"592_CR1","volume-title":"Categoricity. University Lecture Series 50","author":"JT Baldwin","year":"2009","unstructured":"Baldwin, J.T.: Categoricity. University Lecture Series 50. American Mathematical Society, Providence (2009)"},{"key":"592_CR2","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.apal.2015.12.004","volume":"167","author":"JT Baldwin","year":"2016","unstructured":"Baldwin, J.T., Larson, P.B.: Iterated elementary embeddings and the model theory of infinitary logic. Ann. Pure Appl. Log. 167, 309\u2013334 (2016)","journal-title":"Ann. Pure Appl. Log."},{"key":"592_CR3","unstructured":"Boney, W.: Definable Coherent Ultrapowers and Elementary Extensions. arXiv:1609.02970"},{"key":"592_CR4","volume-title":"Model Theory","author":"CC Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)"},{"key":"592_CR5","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s00153-002-0146-y","volume":"42","author":"G Duby","year":"2003","unstructured":"Duby, G.: Automorphisms with only infinite orbits on non-algebraic elements. Arch. Math. Log. 42, 435\u2013447 (2003)","journal-title":"Arch. Math. Log."},{"key":"592_CR6","doi-asserted-by":"crossref","first-page":"50","DOI":"10.4064\/fm-43-1-50-68","volume":"43","author":"A Ehrenfeucht","year":"1956","unstructured":"Ehrenfeucht, A., Mostowski, A.: Models of axiomatic theories admitting automorphisms. Fundam. Math. 43, 50\u201368 (1956)","journal-title":"Fundam. Math."},{"key":"592_CR7","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 361, pp. 37\u201359. American Mathematical Society, Providence (2004)","DOI":"10.1090\/conm\/361\/06587"},{"key":"592_CR8","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":"592_CR9","first-page":"87","volume":"26","author":"A Enayat","year":"2006","unstructured":"Enayat, A.: From bounded arithmetic to second order arithmetic via automorphisms. ASL Lect. Notes Log. 26, 87\u2013113 (2006)","journal-title":"ASL Lect. Notes Log."},{"key":"592_CR10","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.apal.2006.05.013","volume":"145","author":"A Enayat","year":"2007","unstructured":"Enayat, A.: Automorphisms of models of arithmetic: a unified view. Ann. Pure Appl. Log. 145, 16\u201336 (2007)","journal-title":"Ann. Pure Appl. Log."},{"key":"592_CR11","doi-asserted-by":"publisher","unstructured":"Enayat, A., Kaufmann, M., McKenzie, Z.: Largest initial segments pointwise fixed by automorphisms of models of set theory. Arch. Math. Log. doi: 10.1007\/s00153-017-0582-3","DOI":"10.1007\/s00153-017-0582-3"},{"key":"592_CR12","unstructured":"Enayat, A., Kaufmann, M., McKenzie, Z.: Appendix to \u201cIterated ultrapowers of the masses\u201d. http:\/\/www.cs.utexas.edu\/users\/kaufmann\/papers\/iterated-ultrapowers\/index.html"},{"key":"592_CR13","doi-asserted-by":"crossref","unstructured":"Frayne, T., Morel, A.C., Scott, D.S.: Reduced direct products. Fundam. Math. 51, 195\u2013228 (1962\/1963)","DOI":"10.4064\/fm-51-3-195-228"},{"key":"592_CR14","doi-asserted-by":"crossref","unstructured":"Gaifman, H.: Uniform extension operators for models and their applications. In: Sets, Models and Recursion Theory, pp. 122\u2013155 (Proc. Summer School Math. Logic and Tenth Logic Colloq., Leicester, 1965). North-Holland, Amsterdam (1967)","DOI":"10.1016\/S0049-237X(08)71505-2"},{"key":"592_CR15","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0003-4843(76)90002-4","volume":"9","author":"H Gaifman","year":"1976","unstructured":"Gaifman, H.: Models and types of Peano\u2019s arithmetic. Ann. Math. Log. 9, 223\u2013306 (1976)","journal-title":"Ann. Math. Log."},{"key":"592_CR16","volume-title":"Model Theory. Encyclopedia of Mathematics and Its Applications 42","author":"W Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Encyclopedia of Mathematics and Its Applications 42. Cambridge University Press, Cambridge (1993)"},{"key":"592_CR17","doi-asserted-by":"crossref","unstructured":"Hrb\u00e1\u010dek, K.: Internally iterated ultrapowers. In: Nonstandard Models of Arithmetic and Set Theory, Contemporary Mathematics, 361, pp. 87\u2013120. American Mathematical Society, Providence (2004)","DOI":"10.1090\/conm\/361\/06590"},{"key":"592_CR18","volume-title":"Set Theory","author":"T Jech","year":"2003","unstructured":"Jech, T.: Set Theory. Springer, Berlin (2003)"},{"key":"592_CR19","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2178\/jsl\/1080938834","volume":"69","author":"V Kanovei","year":"2004","unstructured":"Kanovei, V., Shelah, S.: A definable nonstandard model of the reals. J. Symb. Log. 69, 159\u2013164 (2004)","journal-title":"J. Symb. Log."},{"key":"592_CR20","unstructured":"Kaufmann, M.: A challenge problem: toward better ACL2 proof technique. In: ACL2 Workshop 2015 Rump Session Abstracts. http:\/\/www.cs.utexas.edu\/users\/moore\/acl2\/workshop-2015\/rump-session-abstracts.html#kaufmann"},{"key":"592_CR21","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0168-0072(91)90098-7","volume":"55","author":"R Kaye","year":"1991","unstructured":"Kaye, R., Kossak, R., Kotlarski, H.: Automorphisms of recursively saturated models of arithmetic. Ann. Pure Appl. Log. 55, 67\u201399 (1991)","journal-title":"Ann. Pure Appl. Log."},{"key":"592_CR22","doi-asserted-by":"crossref","unstructured":"Kaye, R., Macpherson, D.: Models and groups. In: Kaye, R., Macpherson, D. (eds) Automorphisms of First-Order Structures, pp. 3\u201331. Oxford University Press, Oxford (1994)","DOI":"10.1093\/oso\/9780198534686.003.0001"},{"key":"592_CR23","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198568278.001.0001","volume-title":"The Structure of Models of Arithmetic","author":"R Kossak","year":"2006","unstructured":"Kossak, R., Schmerl, J.H.: The Structure of Models of Arithmetic. Oxford University Press, Oxford (2006)"},{"key":"592_CR24","doi-asserted-by":"crossref","first-page":"815","DOI":"10.2307\/2586714","volume":"63","author":"F K\u00f6rner","year":"1998","unstructured":"K\u00f6rner, F.: Automorphisms moving all non-algebraic points and an application to NF. J. Symb. Log. 63, 815\u2013830 (1998)","journal-title":"J. Symb. Log."},{"key":"592_CR25","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0003-4843(70)90013-6","volume":"1","author":"K Kunen","year":"1970","unstructured":"Kunen, K.: Some applications of iterated ultrapowers in set theory. Ann. Math. Log. 1, 179\u2013227 (1970)","journal-title":"Ann. Math. Log."},{"key":"592_CR26","doi-asserted-by":"crossref","unstructured":"\u0141o\u015b, J.: Quelques remarques, theoremes et problemes sur les classes definissables d\u2019algebres. In: Brouwer, L.E.J., Beth, E.W., Heyting, A. (eds.) Mathematical Interpretation of Formal Systems, pp. 98-113. North-Holland, Amsterdam (1955)","DOI":"10.1016\/S0049-237X(09)70306-4"},{"key":"592_CR27","volume-title":"Model Theory, Graduate Texts in Mathematics 217","author":"D Marker","year":"2002","unstructured":"Marker, D.: Model Theory, Graduate Texts in Mathematics 217. Springer, New York (2002)"},{"key":"592_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8622-1","volume-title":"A Course in Model Theory, Universitext","author":"B Poizat","year":"2000","unstructured":"Poizat, B.: A Course in Model Theory, Universitext. Springer, New York (2000)"},{"key":"592_CR29","doi-asserted-by":"crossref","first-page":"484","DOI":"10.2307\/2273566","volume":"48","author":"JP Ressayre","year":"1983","unstructured":"Ressayre, J.P.: Review of [G-2]. J. Symb. Log. 48, 484\u2013485 (1983)","journal-title":"J. Symb. Log."},{"key":"592_CR30","doi-asserted-by":"crossref","first-page":"150","DOI":"10.4064\/fm-23-1-150-161","volume":"23","author":"T Skolem","year":"1934","unstructured":"Skolem, T.: \u00dcber die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abz\u00e4 hlbar unendlicht vieler Aussagen mit ausschliesslich Zahlenvariablen. Fundam. Math. 23, 150\u2013161 (1934)","journal-title":"Fundam. Math."},{"key":"592_CR31","doi-asserted-by":"crossref","unstructured":"Steel, J.: An introduction to iterated ultrapowers. In: Chong, C., Feng, Q., Slaman, T.A., Woodin, W.H., Yang, Y. (eds.) Forcing, Iterated Ultrapowers, and Turing Degrees. Lecture Notes Series, vol. 29. National University of Singapore, Institute for Mathematical Sciences, Singapore (2015)","DOI":"10.1142\/9789814699952_0003"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-017-0592-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0592-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-017-0592-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,27]],"date-time":"2024-06-27T14:18:11Z","timestamp":1719497891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-017-0592-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,5]]},"references-count":31,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["592"],"URL":"https:\/\/doi.org\/10.1007\/s00153-017-0592-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2017,10,5]]}}}