{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T05:06:01Z","timestamp":1648616761305},"reference-count":107,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-444-51621-3.50004-9","type":"book-chapter","created":{"date-parts":[[2012,4,21]],"date-time":"2012-04-21T15:43:02Z","timestamp":1335022982000},"page":"359-413","source":"Crossref","is-referenced-by-count":0,"title":["Large Cardinals with Forcing"],"prefix":"10.1016","author":[{"given":"Akihiro","family":"Kanamori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0010","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0003-4843(76)90001-2","article-title":"A new class of order types","volume":"9","author":"Baumgartner","year":"1976","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0015","series-title":"Surveys in Set Theory","first-page":"1","article-title":"Iterated forcing","author":"Baumgartner","year":"1983"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0020","series-title":"Topics in Set Theory","author":"Bekkali","year":"1991"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0025","doi-asserted-by":"crossref","first-page":"1836","DOI":"10.1073\/pnas.58.5.1836","article-title":"Infinite games and analytic sets","volume":"58","author":"Blackwell","year":"1967","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0030","series-title":"An Introduction to Independence for Analysts, volume 115 of London Mathematical Society Lecture Note Series","author":"Dales","year":"1987"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0035","series-title":"Marginalia to a theorem of Silver","first-page":"115","author":"Devlin","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0040","series-title":"The Souslin Problem, volume 405 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0065979","author":"Devlin","year":"1974"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0045","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"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0050","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"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0055","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.50004-9_bb0060","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.50004-9_bb0065","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/0168-0072(83)90020-9","article-title":"On the consistency strength of \u2018accessible\u2019 Jonsson cardinals and of the weak Chang conjecture","volume":"25","author":"Donder","year":"1983","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0070","series-title":"Set theory and model theory, volume 872 of Lecture Notes in Mathematics","article-title":"Some applications of the core model","author":"Donder","year":"1981"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0075","doi-asserted-by":"crossref","first-page":"50","DOI":"10.4064\/fm-43-1-50-68","article-title":"Models of axiomatic theories admitting automorphisms","volume":"43","author":"Ehrenfeucht","year":"1956","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0080","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1112\/S0024610798006462","article-title":"Projective stationary sets and a strong reflection principle","volume":"58","author":"Feng","year":"1998","journal-title":"Journal of the London Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0085","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1090\/S0002-9947-1982-0664048-8","article-title":"If all normal moore spaces are metrizable, then there is an inner model with a measurable cardinal","volume":"273","author":"Fleissner","year":"1982","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0090","series-title":"Handbook of Set Theory","year":"2010"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0095","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2944324","article-title":"The generalized continuum hypothesis can fail everywhere","volume":"133","author":"Foreman","year":"1991","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0100","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":"1984","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0105","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1090\/S0002-9947-1982-0662045-X","article-title":"Large cardinals and strong model theoretic-transfer properties","volume":"272","author":"Foreman","year":"1982","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0110","series-title":"Proceedings of the Caltech-UCLA Logic Seminar 1979-81","first-page":"1","article-title":"More saturated ideals","author":"Foreman","year":"1983"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0115","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1986-0819932-2","article-title":"Potent axioms","volume":"294","author":"Foreman","year":"1986","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0120","first-page":"771","article-title":"Measurable cardinals and constructible sets (abstract)","volume":"11","author":"Gaifman","year":"1964","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0125","series-title":"Contributions to the Theory of Games, vol. 2, Annals of Mathematical Studies #28","first-page":"245","article-title":"Infinite games with perfect information","author":"Gale","year":"1953"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0130","doi-asserted-by":"crossref","first-page":"491","DOI":"10.2307\/1970936","article-title":"Inequalities for cardinal powers","volume":"101","author":"Galvin","year":"1975","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0135","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF02772658","article-title":"Forcings with ideals and simple forcing notions","volume":"68","author":"Gitik","year":"1989","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0140","doi-asserted-by":"crossref","first-page":"1523","DOI":"10.1090\/S0002-9939-97-03702-7","article-title":"Less saturated ideals","volume":"125","author":"Gitik","year":"1997","journal-title":"Proceedings of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0145","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02760939","article-title":"All cardinals can be singular","volume":"35","author":"Gitik","year":"1980","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0150","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/BF02760629","article-title":"The nonstationary ideal on \u21352","volume":"48","author":"Gitik","year":"1984","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0155","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02762071","article-title":"Some results on the nonstationary ideal","volume":"92","author":"Gitik","year":"1995","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0160","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF02760681","article-title":"Some results on the nonstationary ideal. II","volume":"99","author":"Gitik","year":"1997","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0165","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1305\/ndjfl\/1093870823","article-title":"Some exact equiconsistency results in set theory","volume":"26","author":"Harrington","year":"1985","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0170","series-title":"Proceedings Caltech-UCLA Logic Seminar 1981-1985, volume 1333 of Lecture Notes in Mathematics","first-page":"117","article-title":"AD and the projective ordinals","author":"Jackson","year":"1988"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0175","doi-asserted-by":"crossref","first-page":"593","DOI":"10.1090\/S0002-9904-1976-14121-3","article-title":"On ideals of sets and the power set operation","volume":"82","author":"Jech","year":"1976","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0180","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2273349","article-title":"Precipitous ideals","volume":"45","author":"Jech","year":"1980","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0185","first-page":"291","article-title":"Non-provability of Souslin's hypothesis","volume":"8","author":"Jech","year":"1967","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0190","unstructured":"R. B. Jensen. Souslin's hypothesis is incompatible with V = L (abstract). Notices of the American Mathematical Society, 1968."},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0195","doi-asserted-by":"crossref","unstructured":"R. B. Jensen. The fine structure of the constructible hierarchy. Annals of Mathematical Logic, pages 229-308, 1972.","DOI":"10.1016\/0003-4843(72)90001-0"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0200","series-title":"Large Cardinals in Set Theory from their Beginnings","article-title":"The Higher Infinite","author":"Kanamori","year":"2003"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0205","series-title":"Proceedings of the Caltech-UCLA Logic Seminar 1976-77, volume 689 of Lecture Notes in Mathematics","article-title":"Cabal Seminar 76-77","year":"1978"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0210","series-title":"Proceedings of the Caltech-UCLA Logic Seminar 1977-79, volume 839 of Lecture Notes in Mathematics","article-title":"Cabal Seminar 77-79","year":"1981"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0215","series-title":"Proceedings of the Caltech-UCLA Logic Seminar 1979-81, volume 1019 of Lecture Notes in Mathematics","article-title":"Cabal Seminar 79-81","year":"1983"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0220","series-title":"Proceedings of the Caltech-UCLA Logic Seminar 1981-85, volume 1333 of Lecture Notes in Mathematics","article-title":"Cabal Seminar 81-85","year":"1988"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0225","series-title":"Handbook of Set-Theoretic Topology","author":"Kunen","year":"1984"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0230","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.50004-9_bb0235","doi-asserted-by":"crossref","first-page":"407","DOI":"10.2307\/2269948","article-title":"Elementary embeddings and infinitary embeddings","volume":"36","author":"Kunen","year":"1971","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0240","series-title":"Logic Colloquium '69","first-page":"107","article-title":"On the GCH at measurable cardinals","author":"Kunen","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0245","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2271949","article-title":"Saturated ideals","volume":"43","author":"Kunen","year":"1978","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0250","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF02392416","article-title":"On the consistency of Borel's Conjecture","volume":"137","author":"Laver","year":"1976","journal-title":"Acta Mathematica"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0255","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF02761175","article-title":"Making the supercompactness of \u03ba indestructible under \u03ba-directed closed forcing","volume":"29","author":"Laver","year":"1978","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0260","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF02937302","article-title":"Chang's Conjecture for \u2135\u03c9","volume":"69","author":"Levinski","year":"1990","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0265","doi-asserted-by":"crossref","unstructured":"A. Levy. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, 57, 1965.","DOI":"10.1090\/memo\/0057"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0270","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0003-4843(76)90024-3","article-title":"How large is the first strongly compact cardinal? or: A study on identity crises","volume":"10","author":"Magidor","year":"1976","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0275","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02759779","article-title":"On the singular cardinals problem. I","volume":"28","author":"Magidor","year":"1977","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0280","doi-asserted-by":"crossref","first-page":"514","DOI":"10.2307\/1971065","article-title":"On the singular cardinals problem. II","volume":"106","author":"Magidor","year":"1977","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0285","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"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0290","doi-asserted-by":"crossref","first-page":"755","DOI":"10.2307\/2273097","article-title":"Reflecting stationary sets","volume":"47","author":"Magidor","year":"1982","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0295","doi-asserted-by":"crossref","first-page":"1443","DOI":"10.1016\/0003-4843(70)90009-4","article-title":"Internal Cohen extensions","volume":"2","author":"Martin","year":"1970","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0300","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 USA"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0305","doi-asserted-by":"crossref","first-page":"1","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"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0310","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/fm-66-3-287-291","article-title":"Measurable cardinals and analytic games","volume":"66","author":"Martin","year":"1970","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0315","doi-asserted-by":"crossref","first-page":"363","DOI":"10.2307\/1971035","article-title":"Borel determinacy","volume":"102","author":"Martin","year":"1975","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0320","series-title":"Proceedings of the International Congress of Mathematicians, Helsinki 1978","first-page":"269","article-title":"Infinite games","author":"Martin","year":"1980"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0325","series-title":"Fine Structure and Iteration Trees, volume 3 of Lecture Notes in Logic","author":"Mitchell","year":"1994"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0330","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.50004-9_bb0335","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0003-4843(72)90017-4","article-title":"Aronszajn trees and the independence of the transfer property","volume":"5","author":"Mitchell","year":"1972","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0340","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.50004-9_bb0345","series-title":"Logic Colloquium '78, Studies in Logic and the Foundations of Mathematics","first-page":"303","article-title":"Hypermeasurable cardinals","author":"Mitchell","year":"1978"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0350","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.50004-9_bb0355","series-title":"The core model for sequences of measures. II","author":"Mitchell","year":"1985"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0360","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"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0365","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1090\/S0002-9904-1971-12789-1","article-title":"Uniformization in a playful universe","volume":"77","author":"Moschovakis","year":"1971","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0370","first-page":"1","article-title":"A mathematical axiom contradicting the axiom of choice","volume":"10","author":"Mycielski","year":"1962","journal-title":"Bulletin de l'Acad\u00e9me Polonaise des Sciences, S\u00e9rie des Sciences Math\u00e9matiques, Astronomiques et Physiques"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0375","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1090\/S0002-9939-1980-0553389-4","article-title":"A provisional solution to the normalMoore space problem","volume":"78","author":"Nyikos","year":"1980","journal-title":"Proceedings of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0380","first-page":"5","article-title":"Changing measurable cardinals into accessible cardinals","volume":"68","author":"Prikry","year":"1970","journal-title":"Dissertationes Mathematicae (Rozprawy Matematyczne)"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0385","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0003-4843(82)90023-7","article-title":"Adding closed cofinal sequences to large cardinals","volume":"22","author":"Radin","year":"1982","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0390","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":"1994","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0395","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF02801471","article-title":"Large cardinals imply that every reasonably definable set of reals is Lesbegue measurable","volume":"70","author":"Shelah","year":"1990","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0400","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF02757281","article-title":"Infinite abelian groups, Whitehead problem and some constructions","volume":"18","author":"Shelah","year":"1974","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0405","series-title":"Proper Forcing, volume 940 of Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21543-2","author":"Shelah","year":"1982"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0410","series-title":"Surveys in Set Theory, volume 87 of London Mathematical Society Lecture Note Series","first-page":"116","article-title":"The singular cardinals problem: Independence results","author":"Shelah","year":"1983"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0415","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02760522","article-title":"Can you take Solovay's inaccessible away?","volume":"48","author":"Shelah","year":"1984","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0420","series-title":"Around Classification Theory of Models, volume 1182 of Lecture Notes in Mathematics","author":"Shelah","year":"1986"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0425","doi-asserted-by":"crossref","first-page":"360","DOI":"10.2307\/2274385","article-title":"Semiproper Forcing Axiom implies Martin's Maximum but not PFA+","volume":"52","author":"Shelah","year":"1987","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0430","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF02780398","article-title":"Iterated forcing and normal ideals on \u03c91","volume":"60","author":"Shelah","year":"1987","journal-title":"Israel Journal of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0435","series-title":"Cardinal Arithmetic, volume 29 of Oxford Logic Guides","author":"Shelah","year":"1994"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0440","series-title":"Proper and Improper Forcing, volume 29 of Perspectives in Mathematical Logic","author":"Shelah","year":"1998"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0445","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.50004-9_bb0450","series-title":"Axiomatic Set Theory, volume 13(1) of Proceedings of Symposia in Pure Mathematics","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1090\/pspum\/013.1\/0280359","article-title":"Unramified forcing","author":"Shoenfield","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0455","series-title":"Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1090\/pspum\/013.1\/0278937","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.50004-9_bb0460","series-title":"Axiomatic Set Theory, volume 13(1) of Proceedings of Symposia in Pure Mathematics","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1090\/pspum\/013.1\/0277379","article-title":"The independence of Kurepa's conjecture and two-cardinal conjectures in model theory","author":"Silver","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0465","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0003-4843(71)90010-6","article-title":"Some applications of model theory in set theory","volume":"3","author":"Silver","year":"1971","journal-title":"Annals of Mathematical Logic"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0470","series-title":"Proceedings of the International Congress of Mathematicians","first-page":"265","article-title":"On the singular cardinals problem","author":"Silver","year":"1975"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0475","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/1970860","article-title":"Internal Cohen extensions and Souslin's problem","volume":"94","author":"Solovay","year":"1971","journal-title":"Annals of Mathematics"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0480","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.50004-9_bb0485","first-page":"721","article-title":"Real-valued measurable cardinals (abstract)","volume":"13","author":"Solovay","year":"1966","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0490","first-page":"50","article-title":"A nonconstructible \u03b413 set of integers","volume":"127","author":"Solovay","year":"1967","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0495","series-title":"Axiomatic Set Theory, volume 13(1) of Proceedings of Symposia in Pure Mathematics","doi-asserted-by":"crossref","DOI":"10.1090\/pspum\/013.1\/0290961","article-title":"Real-valued measurable cardinals","author":"Solovay","year":"1971"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0500","series-title":"The Core Model Iterability Problem","author":"Steel","year":"1996"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0505","series-title":"Master's thesis","author":"Stewart","year":"1966"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0510","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 USA"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0515","series-title":"Axiomatic Set Theory, volume 31 of Contemporary Mathematics","first-page":"209","article-title":"A note on the Proper Forcing Axiom","author":"Todorcevic","year":"1984"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0520","series-title":"Walks on Ordinals and their Characteristics, volume 263 of Progress in Mathematics","author":"Todorcevic","year":"2007"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0525","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":"1990","journal-title":"Proceedings of the National Academy of Sciences USA"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0530","series-title":"The Axiom of Determinacy, Forcing Axioms and the Non-stationary Ideal, volume 1 of de Gruyter Series in Logic and Its Applications","author":"Woodin","year":"1999"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0535","first-page":"567","article-title":"The Continuum Hypothesis. I","volume":"48","author":"Woodin","year":"2001","journal-title":"Notices of the American Mathematical Society"},{"key":"10.1016\/B978-0-444-51621-3.50004-9_bb0540","first-page":"681","article-title":"The Continuum Hypothesis. II","volume":"48","author":"Woodin","year":"2001","journal-title":"Notices of the American Mathematical Society"}],"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:18Z","timestamp":1561655358000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780444516213500049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":107,"URL":"https:\/\/doi.org\/10.1016\/b978-0-444-51621-3.50004-9","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}