{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:23:01Z","timestamp":1755220981663,"version":"3.43.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1023\/a:1020818827349","type":"journal-article","created":{"date-parts":[[2003,3,18]],"date-time":"2003-03-18T15:57:25Z","timestamp":1048003045000},"page":"275-303","source":"Crossref","is-referenced-by-count":0,"title":["The Category of Inner Models"],"prefix":"10.1007","volume":"133","author":[{"given":"Peter","family":"Koepke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"354531_CR1","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0003-4843(77)90005-5","volume":"12","author":"F. G. Abramson","year":"1977","unstructured":"Abramson, F. G., L. A. Harrington, E. M. Kleinberg, and W. S. Zwicker: 1977, \u2018Flipping Properties: A Unifying Thread in the Theory of Large Cardinals\u2019, Annals of Mathematical Logic\n12, 25\u201358.","journal-title":"Annals of Mathematical Logic"},{"key":"354531_CR2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.4064\/fm-132-3-171-188","volume":"132","author":"J. B. Barnabel","year":"1989","unstructured":"Barnabel, J. B.: 1989, \u2018Flipping Properties and Huge Cardinals\u2019, Fundamenta Mathematicae\n132, 171\u2013188.","journal-title":"Fundamenta Mathematicae"},{"key":"354531_CR3","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.1073\/pnas.50.6.1143","volume":"50","author":"P. Cohen","year":"1963","unstructured":"Cohen, P.: 1963, \u2018The Independence of the Continuum Hypothesis\u2019, Proceedings of the National Academy of Sciences of the United States of America\n50, 1143\u20131148.","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"354531_CR4","doi-asserted-by":"crossref","unstructured":"Devlin, K. J.: 1984, Constructibility, Berlin [Perspectives in Mathematical Logic].","DOI":"10.1007\/978-3-662-21723-8"},{"key":"354531_CR5","unstructured":"Di Prisco, C. A. and W. Marek: 1985, \u2018Some Aspects of the Theory of Large Cardinals\u2019, in L. P. de Alcantara (ed.), Mathematical Logic and Formal Systems, A Collection of Papers in Honor of Newton C. A. da Costa, New York, pp. 87\u2013139. [Lecture Notes in Pure and Applied Mathematics 94]"},{"key":"354531_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.4064\/fm-109-1-31-36","volume":"109","author":"C. A. Di Prisco","year":"1980","unstructured":"Di Prisco, C. A. and W. S. Zwicker: 1980, \u2018Flipping Properties and Supercompact Cardinals\u2019, Fundamenta Mathematicae\n109, 31\u201336.","journal-title":"Fundamenta Mathematicae"},{"key":"354531_CR7","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1006\/aima.1997.1655","volume":"130","author":"R. Dougherty","year":"1997","unstructured":"Dougherty, R. and T. Jech: 1997, \u2018Finite Left-distributive Algebras and Embedding Algebras\u2019, Advances in Mathematics\n130, 201\u2013291.","journal-title":"Advances in Mathematics"},{"key":"354531_CR8","doi-asserted-by":"crossref","unstructured":"Gaifman, H.: 1974, \u2018Elementary Embeddings of Set Theory and Certain Subtheories\u2019, in T. Jech (ed.), Axiomatic Set Theory, Proceedings of the Symposium in Pure Mathem-atics of the American Mathematical Society, held at the University of California, Los Angeles, Calif., July 10\u2014August 5, 1967, Providence [Proceedings of Symposia in Pure Mathematics, XIII, Part II], 33\u2013101.","DOI":"10.1090\/pspum\/013.2\/0376347"},{"key":"354531_CR9","doi-asserted-by":"crossref","unstructured":"Gale, D. and F. M. Stewart: 1953, \u2018Infinite Games with Perfect Information\u2019, in H. W. Kuhn and A.W. Tucker(eds.),Contributions to the Theory of Games II, Princeton [Annals of Mathematical Studies 28], 245\u2013266.","DOI":"10.1515\/9781400881970-014"},{"key":"354531_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: 1931, \u2018\u00d1ber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I\u2019, Monatshefte f\u00fcr Mathematik und Physik\n38, 173\u2013198.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"key":"354531_CR11","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1073\/pnas.24.12.556","volume":"24","author":"K. G\u00f6del","year":"1938","unstructured":"G\u00f6del, K.: 1938, \u2018The Consistency of the Axiom of Choice and of the Generalized Continuum-hypothesis\u2019, Proceedings of the National Academy of Sciences of the United States of America\n24, 556\u2013557.","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"354531_CR12","unstructured":"Hausdorff, F. (Paul Mongr\u00e9): 1898, Das Chaos in kosmischer Auslese \u2014 Ein erkenntniskri-tischer Versuch,Leipzig."},{"key":"354531_CR13","unstructured":"Jech, T.: 1978, Set Theory, San Diego."},{"key":"354531_CR14","unstructured":"Kanamori, A.: 1994, The Higher Infinite, Large Cardinals in Set Theory from Their Beginnings, Berlin [Perspectives in Mathematical Logic]."},{"key":"354531_CR15","doi-asserted-by":"crossref","unstructured":"Kanamori, A. and M. Magidor: 1978, \u2018The Evolution of Large Cardinal Axioms in Set Theory\u2019, in G. H. M\u00fcller and D. S. Scott (eds.), Higher Set Theory, Proceedings, Oberwolfach, Germany, April 13\u201323, 1977, Berlin [Lecture Notes in Mathematics 669], 99\u2013275.","DOI":"10.1007\/BFb0103104"},{"key":"354531_CR16","doi-asserted-by":"crossref","unstructured":"Koepke, P.: 1996, \u2018Embedding Normal Forms and \n$$\\Pi _1^1 $$\n-determinacy, in W. Hodges, M. Hyland, C. Steinhorn and J. K. Truss (eds), Logic: From Foundations to Applications, European Logic Colloquium, Keele, UK, July 20\u201329, 1993, Oxford, 215\u2013224.","DOI":"10.1093\/oso\/9780198538622.003.0009"},{"key":"354531_CR17","doi-asserted-by":"crossref","first-page":"1137","DOI":"10.2307\/2586731","volume":"63","author":"P. Koepke","year":"1998","unstructured":"Koepke, P.: 1998, \u2018Extenders, Embedding Normal Forms, and the Martin\u2014Steel-theorem\u2019, Journal of Symbolic Logic\n63, 1137\u20131176.","journal-title":"Journal of Symbolic Logic"},{"key":"354531_CR18","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0001-8708(92)90016-E","volume":"91","author":"R. Laver","year":"1992","unstructured":"Laver, R.: 1992, \u2018The Left Distributive Law and the Freeness of an Algebra of Elementary Embeddings\u2019, Advances in Mathematics\n91, 209\u2013231.","journal-title":"Advances in Mathematics"},{"key":"354531_CR19","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0168-0072(97)00031-6","volume":"90","author":"R. Laver","year":"1997","unstructured":"Laver, R.: 1997, \u2018Implications between Strong Large Cardinal Axioms\u2019, Annals of Pure and Applied Logic\n90, 79\u201390.","journal-title":"Annals of Pure and Applied Logic"},{"key":"354531_CR20","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/fm-66-3-287-291","volume":"66","author":"D. A. Martin","year":"1970","unstructured":"Martin, D. A.: 1970, \u2018Measurable Cardinals and Analytic Games\u2019, Fundamenta Mathematicae\n66, 287\u2013291.","journal-title":"Fundamenta Mathematicae"},{"key":"354531_CR21","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1090\/S0894-0347-1989-0955605-X","volume":"2","author":"D. A. Martin","year":"1989","unstructured":"Martin, D. A. and J. R. Steel: 1989, \u2018A Proof of Projective Determinacy\u2019, Journal of the American Mathematical Society\n2, 71\u2013125.","journal-title":"Journal of the American Mathematical Society"},{"key":"354531_CR22","unstructured":"Moschovakis, Y. N.: 1980, Descriptive Set Theory, Amsterdam [Studies in Logic and the Foundations of Mathematics 100]."},{"key":"354531_CR23","first-page":"521","volume":"9","author":"D. Scott","year":"1961","unstructured":"Scott, D.: 1961, \u2018Measurable Cardinals and Constructible Sets\u2019, Bulletin de l\u2019Acad\u00e9mie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques\n9, 521\u2013524.","journal-title":"Bulletin de l'Acad\u00e9mie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"key":"354531_CR24","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF02801471","volume":"70","author":"S. Shelah","year":"1990","unstructured":"Shelah, S. and W. H. Woodin: 1990, \u2018Large Cardinals Imply that Every Reasonably Definable Set of Reals is Lebesgue Measurable\u2019, Israel Journal of Mathematics\n70, 381\u2013394.","journal-title":"Israel Journal of Mathematics"},{"key":"354531_CR25","first-page":"261","volume":"1","author":"A. Tarski","year":"1935","unstructured":"Tarski, A.: 1935, \u2018Der Wahrheitsbegriff in den formalisierten Sprachen\u2019, Studia Philosophica\n1, 261\u2013405.","journal-title":"Studia Philosophica"},{"key":"354531_CR26","doi-asserted-by":"crossref","first-page":"140","DOI":"10.4064\/fm-16-1-140-150","volume":"16","author":"S. Ulam","year":"1930","unstructured":"Ulam, S.: 1930, \u2018Zur Ma\u00dftheorie in der allgemeinen Mengenlehre\u2019, Fundamenta Mathematicae\n16, 140\u2013150.","journal-title":"Fundamenta Mathematicae"},{"key":"354531_CR27","first-page":"199","volume":"1","author":"J. von Neumann","year":"1923","unstructured":"von Neumann, J.: 1923, \u2018Zur Einf\u00fchrung der transfiniten Zahlen\u2019, Acta Universitatis Szegediensis, Sectio Scientiarum Mathematicarum\n1, 199\u2013208.","journal-title":"Acta Universitatis Szegediensis, Sectio Scientiarum Mathematicarum"},{"key":"354531_CR28","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1515\/crll.1925.154.219","volume":"154","author":"J. von Neumann","year":"1925","unstructured":"von Neumann, J.: 1925, \u2018Eine Axiomatisierung der Mengenlehre\u2019, Journal f\u00fcr die reine und angewandte Mathematik\n154, 219\u2013240.","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"354531_CR29","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF01445300","volume":"59","author":"E. Zermelo","year":"1904","unstructured":"Zermelo, E.: 1904, \u2018Beweis, dass jede Menge wohlgeordnet werden kann (Aus einem an Herrn Hilbert gerichteten Briefe)\u2019, Mathematische Annalen\n59, 139\u2013141.","journal-title":"Mathematische Annalen"},{"key":"354531_CR30","doi-asserted-by":"crossref","first-page":"29","DOI":"10.4064\/fm-16-1-29-47","volume":"16","author":"E. Zermelo","year":"1930","unstructured":"Zermelo, E.: 1930, \u2018\u00d1ber Grenzzahlen und Mengenbereiche: Neue Untersuchungen \u00fcber die Grundlagen der Mengenlehre\u2019, Fundamenta Mathematicae\n16, 29\u201347.","journal-title":"Fundamenta Mathematicae"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020818827349.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1020818827349\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1020818827349.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:58:56Z","timestamp":1754632736000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1020818827349"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["354531"],"URL":"https:\/\/doi.org\/10.1023\/a:1020818827349","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2002,10]]}}}