{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:47Z","timestamp":1759146887763},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T00:00:00Z","timestamp":1216080000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s00153-008-0089-z","type":"journal-article","created":{"date-parts":[[2008,7,14]],"date-time":"2008-07-14T14:35:02Z","timestamp":1216046102000},"page":"447-464","source":"Crossref","is-referenced-by-count":2,"title":["Model theory of the regularity and reflection schemes"],"prefix":"10.1007","volume":"47","author":[{"given":"Ali","family":"Enayat","sequence":"first","affiliation":[]},{"given":"Shahram","family":"Mohsenipour","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,15]]},"reference":[{"issue":"2","key":"89_CR1","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1017\/S0022481200051604","volume":"41","author":"J. Barwise","year":"1976","unstructured":"Barwise J., Schlipf J.: An introduction to recursively saturated and resplendent models. J. Sym. Logic 41(2), 531\u2013536 (1976)","journal-title":"J. Sym. Logic"},{"key":"89_CR2","doi-asserted-by":"crossref","first-page":"1148","DOI":"10.1090\/S0002-9939-1965-0193016-3","volume":"16","author":"C.C. Chang","year":"1965","unstructured":"Chang C.C.: A note on the two cardinal problem. Proc. Am. Math. Soc. 16, 1148\u20131155 (1965)","journal-title":"Proc. Am. Math. Soc."},{"key":"89_CR3","volume-title":"Model Theory, Studies in Logic and the Foundations of Mathematics, 3rd edn, vol. 73","author":"C.C Chang","year":"1990","unstructured":"Chang C.C, Keisler H.J.: Model Theory, Studies in Logic and the Foundations of Mathematics, 3rd edn, vol. 73. North-Holland Publishing Co., Amsterdam (1990)"},{"key":"89_CR4","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0003-4843(70)90012-4","volume":"1","author":"W. Easton","year":"1970","unstructured":"Easton W.: Powers of regular cardinals. Ann. Math Logic 1, 139\u2013178 (1970)","journal-title":"Ann. Math Logic"},{"key":"89_CR5","first-page":"25","volume-title":"Model Theoretic Logics","author":"H.-D. Ebbinghaus","year":"1985","unstructured":"Ebbinghaus H.-D.: Extended logics: the general framework. In: Barwise, J., Feferman, S. (eds) Model Theoretic Logics, pp. 25\u201376. Springer-Verlag, New York (1985)"},{"key":"89_CR6","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fund. Math. 49, 129\u2013141 (1960\/1961)","DOI":"10.4064\/fm-49-2-129-141"},{"key":"89_CR7","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1090\/S0002-9947-1984-0737894-1","volume":"283","author":"A. Enayat","year":"1984","unstructured":"Enayat A.: On certain elementary extensions of models of set theory. Trans. Am. Math. Soc. 283, 705\u2013715 (1984)","journal-title":"Trans. Am. Math. Soc."},{"key":"89_CR8","doi-asserted-by":"crossref","first-page":"1766","DOI":"10.2307\/2694973","volume":"66","author":"A. Enayat","year":"2001","unstructured":"Enayat A.: Power-like models of set theory. J. Sym. Logic 66, 1766\u20131782 (2001)","journal-title":"J. Sym. Logic"},{"key":"89_CR9","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s00153-004-0256-9","volume":"44","author":"A. Enayat","year":"2005","unstructured":"Enayat A.: Models of set theory with definable ordinals. Arch. Math. Logic 44, 363\u2013385 (2005)","journal-title":"Arch. Math. Logic"},{"key":"89_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.4064\/fm-71-1-43-62","volume":"71","author":"U. Felgner","year":"1971","unstructured":"Felgner U.: Comparisons of the axioms of local and universal choice. Fund. Math. 71, 43\u201362 (1971)","journal-title":"Fund. Math."},{"key":"89_CR11","volume-title":"Building Models by Games. London Mathematical Society Student Texts, vol. 2","author":"W. Hodges","year":"1985","unstructured":"Hodges W.: Building Models by Games. London Mathematical Society Student Texts, vol. 2. Cambridge University Press, Cambridge (1985)"},{"issue":"1","key":"89_CR12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1017\/S0022481200051823","volume":"41","author":"J. Hutchinson","year":"1976","unstructured":"Hutchinson J.: Elementary extensions of countable models of set theory. J. Sym. Logic 41(1), 139\u2013145 (1976)","journal-title":"J. Sym. Logic"},{"key":"89_CR13","volume-title":"Set Theory, Springer Monographs in Mathematics","author":"T. Jech","year":"2003","unstructured":"Jech T.: Set Theory, Springer Monographs in Mathematics. Springer, Berlin (2003)"},{"key":"89_CR14","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","volume":"4","author":"R. Jensen","year":"1972","unstructured":"Jensen R.: The fine structure of the constructible hierarchy. Ann. Math. Logic 4, 229\u2013308 (1972)","journal-title":"Ann. Math. Logic"},{"key":"89_CR15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/j.apal.2005.09.009","volume":"140","author":"A. Kanamori","year":"2006","unstructured":"Kanamori A.: Levy and set theory. Ann. Pure Appl. Logic 140, 233\u2013252 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"89_CR16","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.2307\/2273669","volume":"48","author":"M. Kaufmann","year":"1984","unstructured":"Kaufmann M.: Blunt and topless end extensions of models of set theory. J. Sym. Logic 48, 1053\u20131073 (1984)","journal-title":"J. Sym. Logic"},{"key":"89_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"R. Kaye","year":"1991","unstructured":"Kaye R.: Models of Peano Arithmetic. Oxford University Press, Oxford (1991)"},{"key":"89_CR18","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF02771640","volume":"4","author":"H.J. Keisler","year":"1966","unstructured":"Keisler H.J.: Some model theoretic results on \u03c9-logic. Israel J. Math. 4, 249\u2013261 (1966)","journal-title":"Israel J. Math."},{"key":"89_CR19","volume-title":"Model Theory for Infinitary Logic, Studies in Logic and the Foundations of Mathematics, vol. 62","author":"H.J. Keisler","year":"1971","unstructured":"Keisler H.J.: Model Theory for Infinitary Logic, Studies in Logic and the Foundations of Mathematics, vol. 62. North-Holland Publishing Co., Amsterdam (1971)"},{"key":"89_CR20","unstructured":"Kennedy, J., V\u00e4\u00e4n\u00e4nen, J.: Applications of regular filters and square principles in model theory, Quaderni di Matematica vol. 17, (A. Andretta, ed.), Department of Mathematics, Seconda Universit\u00e0 di Napoli, Caserta, (2005)"},{"key":"89_CR21","volume-title":"The Structure of Models of Peano Arithmetic","author":"R. Kossak","year":"2007","unstructured":"Kossak R., Schmerl J.: The Structure of Models of Peano Arithmetic. Oxford University Press, Oxford (2007)"},{"key":"89_CR22","doi-asserted-by":"crossref","first-page":"272","DOI":"10.2307\/2274109","volume":"49","author":"G. Mills","year":"1984","unstructured":"Mills G., Paris J.: Regularity in models of arithmetic. J. Sym. Logic 49, 272\u2013280 (1984)","journal-title":"J. Sym. Logic"},{"key":"89_CR23","unstructured":"Mohsenipour, S.: Elementary End Extensions in Model Theory and Set Theory, Doctoral Dissertation. IPM, Tehran Iran (2005)"},{"key":"89_CR24","volume-title":"Linear Orderings","author":"J.G. Rosenstein","year":"1982","unstructured":"Rosenstein J.G.: Linear Orderings. Academic Press, New York (1982)"},{"key":"89_CR25","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2307\/2272817","volume":"43","author":"J. Schlipf","year":"1978","unstructured":"Schlipf J.: Toward model theory through recursive saturation. J. Sym. Logic 43, 183\u2013206 (1978)","journal-title":"J. Sym. Logic"},{"key":"89_CR26","doi-asserted-by":"crossref","first-page":"732","DOI":"10.2307\/2272857","volume":"39","author":"J. Schmerl","year":"1974","unstructured":"Schmerl J.: Generalizing special Aronszajn trees. J. Sym. Logic 39, 732\u2013740 (1974)","journal-title":"J. Sym. Logic"},{"key":"89_CR27","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0003-4843(76)90011-5","volume":"10","author":"J. Schmerl","year":"1976","unstructured":"Schmerl J.: On \u03ba-like structures which embed stationary and closed unbounded subsets. Ann. Math. Logic 10, 289\u2013314 (1976)","journal-title":"Ann. Math. Logic"},{"key":"89_CR28","first-page":"177","volume-title":"Model Theoretic Logics","author":"J. Schmerl","year":"1985","unstructured":"Schmerl J.: Transfer theorems and their applications to logics. In: Barwise, J., Feferman, S. (eds) Model Theoretic Logics, pp. 177\u2013209. Springer, New York (1985)"},{"key":"89_CR29","doi-asserted-by":"crossref","first-page":"531","DOI":"10.2307\/2272739","volume":"37","author":"J. Schmerl","year":"1972","unstructured":"Schmerl J., Shelah S.: On power-like models for hyperinaccessible cardinals. J. Sym. Logic 37, 531\u2013537 (1972)","journal-title":"J. Sym. Logic"},{"key":"89_CR30","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1090\/S0002-9947-1975-0376334-6","volume":"204","author":"S. Shelah","year":"1975","unstructured":"Shelah S.: Generalized quantifiers and compact logic. Trans. Am. Math. Soc. 204, 342\u2013364 (1975)","journal-title":"Trans. Am. Math. Soc."},{"key":"89_CR31","doi-asserted-by":"crossref","first-page":"550","DOI":"10.2307\/2273531","volume":"43","author":"S. Shelah","year":"1978","unstructured":"Shelah S.: End extensions and the number of countable models. J. Sym. Logic 43, 550\u2013562 (1978)","journal-title":"J. Sym. Logic"},{"key":"89_CR32","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF02764857","volume":"65","author":"S. Shelah","year":"1989","unstructured":"Shelah S.: \u201cGap 1\u201d two-cardinal principles and the omitting types theorem for $${\\mathcal{L}(Q)}$$ . Israel J. Math. 65, 133\u2013152 (1989)","journal-title":"Israel J. Math."},{"key":"89_CR33","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1002\/malq.200410058","volume":"52","author":"S. Shelah","year":"2006","unstructured":"Shelah S., V\u00e4an\u00e4nen J.: Recursive logic frames. MLQ Math. Log. Q. 52, 151\u2013164 (2006)","journal-title":"MLQ Math. Log. Q."},{"key":"89_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59971-2","volume-title":"Subsystems of Second Order Arithmetic","author":"S.G. Simpson","year":"1999","unstructured":"Simpson S.G.: Subsystems of Second Order Arithmetic. Springer, Berlin (1999)"},{"key":"89_CR35","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1002\/malq.200510038","volume":"2","author":"L.M. Villegas-Silva","year":"2006","unstructured":"Villegas-Silva L.M.: A gap 1 cardinal transfer theorem. MLQ Math. Log. Q. 2, 340\u2013350 (2006)","journal-title":"MLQ Math. Log. Q."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0089-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0089-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0089-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,28]],"date-time":"2024-02-28T08:12:08Z","timestamp":1709107928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0089-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,15]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["89"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0089-z","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,15]]}}}