{"id":"https://openalex.org/W1993395536","doi":"https://doi.org/10.2307/2274464","title":"The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)","display_name":"The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W1993395536","doi":"https://doi.org/10.2307/2274464","mag":"1993395536"},"language":"en","primary_location":{"id":"doi:10.2307/2274464","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274464","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075259946","display_name":"Haim Judah","orcid":null},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]},{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]},{"id":"https://openalex.org/I73544541","display_name":"Mathematical Sciences Research Institute","ror":"https://ror.org/05hs5r386","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I73544541"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Haim Judah","raw_affiliation_strings":["Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel","Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903","Department of Mathematics, University of California, Berkeley, California 94720","Institute of Mathematics, The Hebrew University, Jerusalem, Israel","Mathematical Sciences Research Institute, Berkeley, California 94720"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel","institution_ids":["https://openalex.org/I13955877"]},{"raw_affiliation_string":"Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Department of Mathematics, University of California, Berkeley, California 94720","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Institute of Mathematics, The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"Mathematical Sciences Research Institute, Berkeley, California 94720","institution_ids":["https://openalex.org/I73544541"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024923217","display_name":"Saharon Shelah","orcid":"https://orcid.org/0000-0003-0462-3152"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]},{"id":"https://openalex.org/I13955877","display_name":"Bar-Ilan University","ror":"https://ror.org/03kgsv495","country_code":"IL","type":"education","lineage":["https://openalex.org/I13955877"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]},{"id":"https://openalex.org/I73544541","display_name":"Mathematical Sciences Research Institute","ror":"https://ror.org/05hs5r386","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I73544541"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["IL","US"],"is_corresponding":false,"raw_author_name":"Saharon Shelah","raw_affiliation_strings":["Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel","Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903","Department of Mathematics, University of California, Berkeley, California 94720","Institute of Mathematics, The Hebrew University, Jerusalem, Israel","Mathematical Sciences Research Institute, Berkeley, California 94720"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel","institution_ids":["https://openalex.org/I13955877"]},{"raw_affiliation_string":"Department of Mathematics, Rutgers University, New Brunswick, New Jersey 08903","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Department of Mathematics, University of California, Berkeley, California 94720","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"Institute of Mathematics, The Hebrew University, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"Mathematical Sciences Research Institute, Berkeley, California 94720","institution_ids":["https://openalex.org/I73544541"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.5047,"has_fulltext":false,"cited_by_count":77,"citation_normalized_percentile":{"value":0.95214286,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"55","issue":"3","first_page":"909","last_page":"927"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9754999876022339,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12508","display_name":"Functional Equations Stability Results","score":0.9739000201225281,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8028233051300049},{"id":"https://openalex.org/keywords/forcing","display_name":"Forcing (mathematics)","score":0.7398356795310974},{"id":"https://openalex.org/keywords/baire-category-theorem","display_name":"Baire category theorem","score":0.6507007479667664},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.6085388660430908},{"id":"https://openalex.org/keywords/null-set","display_name":"Null set","score":0.6083111763000488},{"id":"https://openalex.org/keywords/countable-set","display_name":"Countable set","score":0.5895763039588928},{"id":"https://openalex.org/keywords/lebesgue-measure","display_name":"Lebesgue measure","score":0.5621873140335083},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49370941519737244},{"id":"https://openalex.org/keywords/\u03c3-finite-measure","display_name":"\u03c3-finite measure","score":0.490508496761322},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.47124606370925903},{"id":"https://openalex.org/keywords/baire-space","display_name":"Baire space","score":0.4301969110965729},{"id":"https://openalex.org/keywords/zero","display_name":"Zero (linguistics)","score":0.41724759340286255},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36145567893981934},{"id":"https://openalex.org/keywords/lebesgue-integration","display_name":"Lebesgue integration","score":0.3411285877227783},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.2523989677429199},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.12886229157447815},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.1279096007347107},{"id":"https://openalex.org/keywords/borel-measure","display_name":"Borel measure","score":0.10643365979194641},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.07755401730537415}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8028233051300049},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.7398356795310974},{"id":"https://openalex.org/C44659138","wikidata":"https://www.wikidata.org/wiki/Q1052678","display_name":"Baire category theorem","level":2,"score":0.6507007479667664},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.6085388660430908},{"id":"https://openalex.org/C55375708","wikidata":"https://www.wikidata.org/wiki/Q1201815","display_name":"Null set","level":3,"score":0.6083111763000488},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.5895763039588928},{"id":"https://openalex.org/C2777105136","wikidata":"https://www.wikidata.org/wiki/Q827230","display_name":"Lebesgue measure","level":3,"score":0.5621873140335083},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49370941519737244},{"id":"https://openalex.org/C102065156","wikidata":"https://www.wikidata.org/wiki/Q291430","display_name":"\u03c3-finite measure","level":4,"score":0.490508496761322},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.47124606370925903},{"id":"https://openalex.org/C166359235","wikidata":"https://www.wikidata.org/wiki/Q1150180","display_name":"Baire space","level":2,"score":0.4301969110965729},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.41724759340286255},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36145567893981934},{"id":"https://openalex.org/C14158598","wikidata":"https://www.wikidata.org/wiki/Q853831","display_name":"Lebesgue integration","level":2,"score":0.3411285877227783},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2523989677429199},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.12886229157447815},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.1279096007347107},{"id":"https://openalex.org/C166758865","wikidata":"https://www.wikidata.org/wiki/Q892585","display_name":"Borel measure","level":3,"score":0.10643365979194641},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.07755401730537415},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274464","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274464","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183743396","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183743396","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W588060734","https://openalex.org/W1013343448","https://openalex.org/W1967612837","https://openalex.org/W1970364998","https://openalex.org/W2029749844","https://openalex.org/W2032234063","https://openalex.org/W2044117691","https://openalex.org/W2061565386","https://openalex.org/W2500999094","https://openalex.org/W4235893602","https://openalex.org/W4255866735","https://openalex.org/W6665749983"],"related_works":["https://openalex.org/W4253312732","https://openalex.org/W2240472140","https://openalex.org/W2894037736","https://openalex.org/W3023323200","https://openalex.org/W2154942716","https://openalex.org/W1850184821","https://openalex.org/W3134890674","https://openalex.org/W1983629718","https://openalex.org/W2089420262","https://openalex.org/W2032212755"],"abstract_inverted_index":{"Abstract":[0],"In":[1,137,218],"this":[2,26,92,113,189,253],"work":[3],"we":[4,27,36,67,94,98,114,190,255],"give":[5],"a":[6,38,69,83,142,166,174,223,233,247],"complete":[7],"answer":[8,37,45],"as":[9],"to":[10],"the":[11,22,46,52,73,105,146,152,171,178,227,240],"possible":[12],"implications":[13],"between":[14],"some":[15],"natural":[16],"properties":[17],"of":[18,41,51,151,181,232,239],"Lebesgue":[19],"measure":[20,56,78,110,242,248],"and":[21,44,57,90,251],"Baire":[23],"property.":[24],"For":[25],"prove":[28,64,82,95,141,191,222,256],"general":[29],"preservation":[30,84,143,224],"theorems":[31],"for":[32,86,145,226],"forcing":[33,88,149,168,230],"notions.":[34],"Thus":[35],"decade-old":[39],"problem":[40],"J.":[42],"Baumgartner":[43],"last":[47],"three":[48],"open":[49],"questions":[50],"Kunen-Miller":[53],"chart":[54],"about":[55],"category.":[58],"Explicitly,":[59],"in":[60],"\u00a71:":[61],"(i)":[62,139,220],"We":[63,81,140,164,221],"that":[65],"if":[66],"add":[68,99],"Laver":[70,102],"real,":[71],"then":[72,104],"old":[74,106,172,179,241],"reals":[75,107,173],"have":[76,108],"outer":[77,109],"one.":[79,111],"(ii)":[80,163,257],"theorem":[85,93,254],"countable-support":[87],"notions,":[89],"using":[91,252],"(iii)":[96,192],"If":[97],"\u03c9":[100,157,158,182,183],"2":[101],"reals,":[103],"From":[112],"obtain":[115],"(iv)":[116],"Cons(ZF)":[117,193,258],"\u21d2":[118,194,259],"Cons(ZFC":[119,195,260],"+":[120,126,132,196,201,207,213,261,267,272],"\u00ac":[121,127,202,208,262,273],"B":[122,203],"(":[123,129,134,198,204,210,215,264,269,275],"m":[124,130,199,265,270],")":[125,131,200,206,212,266,271],"U":[128,133,197,209,263],"c":[135,205,211,216,276],")).":[136,217,277],"\u00a72:":[138],"theorem,":[144,225],"finite":[147,228],"support":[148,229],"notion,":[150,231],"property":[153,234],"\u201c":[154],"F":[155],"\u2286":[156],"is":[159,245],"an":[160,185],"unbounded":[161,186],"family.\u201d":[162],"introduce":[165],"new":[167],"notion":[169],"making":[170],"meager":[175],"set":[176],"but":[177],"members":[180],"remain":[184],"family.":[187],"Using":[188],"C":[214,268,274],"\u00a73:":[219],"which":[235],"implies":[236],"\u201cthe":[237],"union":[238],"zero":[243,249],"sets":[244],"not":[246],"set,\u201d":[250]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}