{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,24]],"date-time":"2025-12-24T14:55:05Z","timestamp":1766588105396},"reference-count":100,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-444-51621-3.50005-0","type":"book-chapter","created":{"date-parts":[[2012,4,21]],"date-time":"2012-04-21T15:43:19Z","timestamp":1335022999000},"page":"415-456","source":"Crossref","is-referenced-by-count":2,"title":["Inner Models for Large Cardinals"],"prefix":"10.1016","author":[{"given":"William J.","family":"Mitchell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0010","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF02773379","article-title":"The domestic levels of Kc are iterable","volume":"125","author":"Andretta","year":"2001","journal-title":"Israel Journal of Mathematics"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0015","doi-asserted-by":"crossref","first-page":"547","DOI":"10.2307\/2274012","article-title":"Between strong and superstrong","volume":"51","author":"Baldwin","year":"1986","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0020","unstructured":"A. Dodd and R. Jensen. A modest remark. Handwritten manuscript, 1976. Available in [Jensen, 2006]."},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0025","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0003-4843(81)90011-5","article-title":"The core model","volume":"20","author":"Dodd","year":"1981","journal-title":"Annals of Mathematical Logic"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0030","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(82)90013-4","article-title":"The covering lemma for K","volume":"22","author":"Dodd","year":"1982","journal-title":"Annals of Mathematical Logic"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0035","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0003-4843(82)90018-3","article-title":"The covering lemma for L[U]","volume":"22","author":"Dodd","year":"1982","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0040","series-title":"The core model, volume 61 of London Mathematical Society Lecture Note Series","author":"Dodd","year":"1982"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0045","unstructured":"A. Dodd. Notes on strong cardinals. Handwritten notes, as transcribed in TEX by Apollo Hogan, 1984?"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0050","series-title":"Set theory and Model Theory (Bonn, 1979), volume 872 of Lecture Notes in Mathematics","first-page":"55","article-title":"Some applications of the core model","author":"Donder","year":"1981"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0055","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0003-4843(70)90012-4","article-title":"Powers of regular cardinals","volume":"1","author":"Easton","year":"1970","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0060","series-title":"Handbook of Set Theory","year":"2010"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0065","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1971415","article-title":"Martin's Maximum, saturated ideals, and nonregular ultrafilters. I","volume":"127","author":"Foreman","year":"1988","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0070","series-title":"Axiomatic Set Theory","first-page":"33","article-title":"Elementary embeddings of models of set-theory and certain sub-theories","author":"Gaifman","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0075","series-title":"Axiomatic Set Theory","first-page":"103","article-title":"Set-theoretic functions for elementary syntax","author":"Gandy","year":"1974"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0080","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0168-0072(89)90069-9","article-title":"The negation of the singular cardinal hypothesis from o(\u03ba) = \u03ba++","volume":"43","author":"Gitik","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0085","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0168-0072(91)90016-F","article-title":"The strength of the failure of the singular cardinal hypothesis","volume":"51","author":"Gitik","year":"1991","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0090","doi-asserted-by":"crossref","first-page":"556","DOI":"10.1073\/pnas.24.12.556","article-title":"The consistency of the axiom of choice and of the generalized continuum hypothesis","volume":"24","author":"G\u00f6del","year":"1938","journal-title":"Proceedings of the National Academy of Sciences U.S.A."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0095","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1073\/pnas.25.4.220","article-title":"Consistency-proof for the generalized continuum-hypothesis","volume":"25","author":"G\u00f6del","year":"1939","journal-title":"Proceedings of the National Academy of Sciences U.S.A."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0100","series-title":"The Consistency of the Continuum Hypothesis","author":"G\u00f6del","year":"1940"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0105","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1002\/malq.19560020804","article-title":"On a consistency theorem connected with the generalized continuum problem","volume":"2","author":"Hajnal","year":"1956","journal-title":"Zeitschrift f\u00fcr Mathematische Logic und Grundlagen der Mathematik"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0110","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF02023921","article-title":"On a consistency theorem connected with the generalized continuum problem","volume":"12","author":"Hajnal","year":"1961","journal-title":"Acta Mathematica Academiae Scientiarum Hungaricae"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0115","doi-asserted-by":"crossref","first-page":"315","DOI":"10.2178\/jsl\/1231082314","article-title":"Stacking mice","volume":"74","author":"Jensen","year":"2009","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0120","unstructured":"R. Jensen. Stufen der konstrktiblen hierarchie. Habilitationsschrift, June 1967. Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0125","unstructured":"R. Jensen. Souslin's hypothesis is incompatible with V = L, 1968. Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0130","unstructured":"R. Jensen. Some combinatorial properties of L and V . Handwritten manuscript, 1969. Available on [Jensen, 2006] or at http:\/\/www.mathematik.huberlin.de\/~raesch\/org\/jensen.html."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0135","unstructured":"R. Jensen. Souslin's hypothesis is compatible with CH. Handwritten manuscript, 1969? Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0140","unstructured":"R. Jensen. Kombinatorische eigenschaften der konstruktiblen hierarchie. Handwritten manuscript, 1970. Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0145","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0003-4843(72)90001-0","article-title":"The fine structure of the constructible hierarchy","volume":"4","author":"Jensen","year":"1972","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0150","unstructured":"R. Jensen. Marginalia III. Handwritten manuscript, 1974. Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0155","unstructured":"R. Jensen. Marginalia to a theorem of Silver. Handwritten manuscript, 1974. Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0160","unstructured":"R. Jensen. More marginalia. Handwritten manuscript, 1974. Available on [Jensen, 2006]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0165","unstructured":"R. Jensen. A new fine structure for higher core models, August 1997. Available on [Jensen, 2006]; also available at http:\/\/www.mathematik.huberlin.de\/~raesch\/org\/jensen.html."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0170","unstructured":"R. Jensen. On some problems of Mitchell, Welch and Vickers, 2001. Available on [Jensen, 2006] or at http:\/\/www.mathematik.huberlin.de\/~raesch\/org\/jensen.html."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0175","unstructured":"R. Jensen. CDROM with compilation of Jensen notes.Notes stamped \u201cSeminar F\u00fcr Logik und Grundlagenforshung Universit\u00e4t Bonn\u201d, 2006."},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0180","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2178\/bsl\/1185803804","article-title":"G\u00f6del and set theory","volume":"13","author":"Kanamori","year":"2007","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0185","unstructured":"A. Kanamori. Large cardinals with Forcing. In Kanamori et al. [2011, chapter 4]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0190","unstructured":"A. Kanamori. Set theory from Cantor to Cohen. In Kanamori et al. [2011, chapter 1]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0195","series-title":"Sets and Extensions in the Twentieth Century, volume 6, Handboo for the History of Logic","year":"2011"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0200","unstructured":"M. Kojman. Singular cardinals: from Hausdorff's gaps to Shelah's pcf theory. In Kanamori et al. [2011, chapter 7]."},{"issue":"4","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0205","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0003-4843(71)90001-5","article-title":"Boolean extensions and measurable cardinals","volume":"2","author":"Kunen","year":"1971","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0210","series-title":"Inaccessibility properties of cardinals","author":"Kunen","year":"1968"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0215","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0003-4843(70)90013-6","article-title":"Some applications of iterated ultrapowers in set theory","volume":"1","author":"Kunen","year":"1970","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0220","series-title":"Logic Colloquium '69 (Proc. Summer School and Colloq., Manchester, 1969)","first-page":"107","article-title":"On the GCH at measurable cardinals","author":"Kunen","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0225","first-page":"1582","volume":"245","author":"Levy","year":"1957"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0230","doi-asserted-by":"crossref","first-page":"147","DOI":"10.2307\/2964211","article-title":"A generalization of G\u00f6del's notion of constructibility","volume":"25","author":"Levy","year":"1960","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0235","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-99-1-61-71","article-title":"Changing cofinality of cardinals","volume":"99","author":"Magidor","year":"1978","journal-title":"Fundamenta Mathematicae"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0240","doi-asserted-by":"crossref","first-page":"91","DOI":"10.2307\/2001455","article-title":"Representing sets of ordinals as countable unions of sets in the core model","volume":"317","author":"Magidor","year":"1990","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0245","doi-asserted-by":"crossref","first-page":"138","DOI":"10.2307\/1970813","article-title":"A basis theorem for \u221131 sets of reals","volume":"89","author":"Martin","year":"1969","journal-title":"Annals of Mathematics"},{"issue":"18","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0250","doi-asserted-by":"crossref","first-page":"6582","DOI":"10.1073\/pnas.85.18.6582","article-title":"Projective determinacy","volume":"85","author":"Martin","year":"1988","journal-title":"Proceedings of the National Academy of Sciences U.S.A."},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0255","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1090\/S0894-0347-1989-0955605-X","article-title":"A proof of projective determinacy","volume":"2","author":"Martin","year":"1989","journal-title":"Journal of the American Mathematical Society"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0260","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0894-0347-1994-1224594-7","article-title":"Iteration trees","volume":"7","author":"Martin","year":"1994","journal-title":"Journal of the American Mathematical Society"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0265","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0003-4843(77)90006-7","article-title":"Happy families","volume":"12","author":"Mathias","year":"1977","journal-title":"Annals of Mathematical Logic"},{"issue":"5","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0270","doi-asserted-by":"crossref","first-page":"595","DOI":"10.4310\/MRL.1995.v2.n5.a6","article-title":"Weak covering without countable closure","volume":"2","author":"Mitchell","year":"1995","journal-title":"Mathematical Research Letters"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0275","series-title":"Fine structure and iteration trees, volume 3 of Lecture Notes in Logic","author":"Mitchell","year":"1994"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0280","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0168-0072(96)00032-2","article-title":"The covering lemma up to a Woodin cardinal","volume":"84","author":"Mitchell","year":"1997","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0285","doi-asserted-by":"crossref","first-page":"57","DOI":"10.2307\/2272343","article-title":"Sets constructible from sequences of ultrafilters","volume":"39","author":"Mitchell","year":"1974","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0290","series-title":"Logic Colloquium '78 (Mons, 1978), volume 97 of Studies in Logic and the Foundations of Mathematics","first-page":"303","article-title":"Hypermeasurable cardinals","author":"Mitchell","year":"1979"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0295","doi-asserted-by":"crossref","first-page":"260","DOI":"10.2307\/2273732","article-title":"Ramsey cardinals and constructibility","volume":"44","author":"Mitchell","year":"1979","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0300","doi-asserted-by":"crossref","first-page":"600","DOI":"10.2307\/2273452","article-title":"Sets constructed from sequences of measures: revisited","volume":"48","author":"Mitchell","year":"1983","journal-title":"The Journal of Symbolic Logic"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0305","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1017\/S030500410006151X","article-title":"The core model for sequences of measures. I","volume":"95","author":"Mitchell","year":"1984","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0310","series-title":"Axiomatic Set Theory","first-page":"161","article-title":"Indiscernibles, skies, and ideals","author":"Mitchell","year":"1984"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0315","unstructured":"W. Mitchell. The core model for sequences of measures, II. A scanned typescript is available at http:\/\/www.math.ufl.edu\/~wjm\/papers\/, 1985."},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0320","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1090\/S0002-9947-1987-0869398-2","article-title":"Applications of the covering lemma for sequences of measures","volume":"299","author":"Mitchell","year":"1987","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0325","doi-asserted-by":"crossref","first-page":"407","DOI":"10.2307\/2001849","article-title":"Definable singularity","volume":"327","author":"Mitchell","year":"1991","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0330","series-title":"Set theory of the Continuum","first-page":"311","article-title":"\u221131-absoluteness for sequences of measures","author":"Mitchell","year":"1992"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0335","doi-asserted-by":"crossref","first-page":"507","DOI":"10.2307\/2153949","article-title":"On the singular cardinal hypothesis","volume":"329","author":"Mitchell","year":"1992","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0340","unstructured":"W. Mitchell. Beginning inner model theory. In Foreman and Kanamori [2010]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0345","unstructured":"W. Mitchell. The covering lemma. In Foreman and Kanamori [2010]."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0350","first-page":"1","article-title":"Independence proof of (\u03c9, \u03c9\u03b1)-distributive law in complete Boolean algebras","volume":"19","author":"Namba","year":"1971","journal-title":"Commentarii Mathematici Universitatis Sancti Pauli"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0355","doi-asserted-by":"crossref","first-page":"1285","DOI":"10.2307\/2586630","article-title":"A weak Dodd-Jensen lemma","volume":"64","author":"Neeman","year":"1999","journal-title":"The Journal of Symbolic Logic"},{"issue":"1-3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0360","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/S0168-0072(01)00103-8","article-title":"Inner models in the region of a Woodin limit of Woodin cardinals","volume":"116","author":"Neeman","year":"2002","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0365","doi-asserted-by":"crossref","first-page":"1143","DOI":"10.2178\/jsl\/1102022215","article-title":"The Mitchell order below rank-to-rank","volume":"69","author":"Neeman","year":"2004","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0370","first-page":"55","article-title":"Changing measurable into accessible cardinals","volume":"68","author":"Prikry","year":"1970","journal-title":"Dissertationes Mathematicae (Rozprawy Matematyczne)"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0375","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(71)90009-X","article-title":"Some strong axioms of infinity incompatible with the axiom of constructibility","volume":"3","author":"Rowbottom","year":"1971","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0380","unstructured":"E. Schimmerling and J. Steel. The strength of AD. Available at http:\/\/wwwmath.uniuenster.de\/logik\/Personen\/rds\/AD_skript.pdf, July 2006."},{"issue":"4","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0385","doi-asserted-by":"crossref","first-page":"1505","DOI":"10.2307\/2694959","article-title":"The Jensen covering property","volume":"66","author":"Schimmerling","year":"2001","journal-title":"The Journal of Symbolic Logic"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0390","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2687750","article-title":"Square in core models","volume":"7","author":"Schimmerling","year":"2001","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0395","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0219061304000310","article-title":"Characterization of \u25a1\u03ba in core models","volume":"4","author":"Schimmerling","year":"2004","journal-title":"Journal of Mathematical Logic"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0400","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/0168-0072(94)00036-3","article-title":"Combinatorial principles in the core model for one Woodin cardinal","volume":"74","author":"Schimmerling","year":"1995","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0405","first-page":"521","article-title":"Measurable cardinals and constructible sets","volume":"9","author":"Scott","year":"1961","journal-title":"Bulletin de l'Academie Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0410","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF02801471","article-title":"Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable","volume":"70","author":"Shelah","year":"1990","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0415","series-title":"Essays on the Foundations of Mathematics","first-page":"132","article-title":"The problem of predicativity","author":"Shoenfield","year":"1961"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0420","doi-asserted-by":"crossref","first-page":"93","DOI":"10.4064\/fm-69-1-93-100","article-title":"A large cardinal in the constructible universe","volume":"69","author":"Silver","year":"1970","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0425","series-title":"Axiomatic Set Theory","first-page":"391","article-title":"The consistency of the GCH with the existence of a measurable cardinal","author":"Silver","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0430","series-title":"Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), Vol. 1","first-page":"265","article-title":"On the singular cardinals problem","author":"Silver","year":"1975"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0435","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0003-4843(78)90031-1","article-title":"Strong axioms of infinity and elementary embeddings","volume":"13","author":"Solovay","year":"1978","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0440","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/1970696","article-title":"A model of set theory in which every set of reals is Lebesgue measurable","volume":"92","author":"Solovay","year":"1970","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0445","series-title":"Axiomatic Set Theory","first-page":"397","article-title":"Real-valued measurable cardinals","author":"Solovay","year":"1971"},{"issue":"2","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0450","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0168-0072(93)90037-E","article-title":"Inner models with many Woodin cardinals","volume":"65","author":"Steel","year":"1993","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0455","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/420947","article-title":"HODL(R) is a core model below \u0398","volume":"1","author":"Steel","year":"1995","journal-title":"The Bulletin of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0460","series-title":"The core model iterability problem, volume 8 of Lecture Notes in Logic","author":"Steel","year":"1996"},{"issue":"3","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0465","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.2178\/jsl\/1190150159","article-title":"Core models with more Woodin cardinals","volume":"67","author":"Steel","year":"2002","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0470","series-title":"Logic, Methodology and Philosophy of Science","first-page":"125","article-title":"Some problems and results relevant to the foundations of set theory","author":"Tarski","year":"1962"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0475","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1073\/pnas.59.1.60","article-title":"Souslin's problem","volume":"59","author":"Tennenbaum","year":"1968","journal-title":"Proceedings of the National Academy of Sciences U.S.A."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0480","doi-asserted-by":"crossref","first-page":"140","DOI":"10.4064\/fm-16-1-140-150","article-title":"Zur Masstheorie in der allgemeinen Megenlehre","volume":"16","author":"Ulam","year":"1930","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0485","series-title":"The Theory of Semisets","author":"Vop\u011bnka","year":"1972"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0490","series-title":"Combinatorial Principles In the Core Model","author":"Welch","year":"1979"},{"issue":"18","key":"10.1016\/B978-0-444-51621-3.50005-0_bb0495","doi-asserted-by":"crossref","first-page":"6587","DOI":"10.1073\/pnas.85.18.6587","article-title":"Supercompact cardinals, sets of reals, and weakly homogeneous trees","volume":"85","author":"Woodin","year":"1988","journal-title":"Proceedings of the National Academy of Sciences U.S.A."},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0500","series-title":"Condensation and square in a higher core model","author":"Wylie","year":"1989"},{"key":"10.1016\/B978-0-444-51621-3.50005-0_bb0505","series-title":"Inner models and large cardinals","author":"Zeman","year":"2002"}],"container-title":["Handbook of the History of Logic","Sets and Extensions in the Twentieth Century"],"original-title":[],"deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T17:09:17Z","timestamp":1561655357000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780444516213500050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":100,"URL":"https:\/\/doi.org\/10.1016\/b978-0-444-51621-3.50005-0","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}