{"id":"https://openalex.org/W2082065673","doi":"https://doi.org/10.2307/2272055","title":"Borel sets and Ramsey's theorem","display_name":"Borel sets and Ramsey's theorem","publication_year":1973,"publication_date":"1973-06-01","ids":{"openalex":"https://openalex.org/W2082065673","doi":"https://doi.org/10.2307/2272055","mag":"2082065673"},"language":"en","primary_location":{"id":"doi:10.2307/2272055","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272055","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/A5110350279","display_name":"Fred Galvin","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Fred Galvin","raw_affiliation_strings":["University of California, Los Angeles, California 90024","University of California , Los Angeles, California, 90024"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles, California 90024","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"University of California , Los Angeles, California, 90024","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049789433","display_name":"Karel Prikry","orcid":null},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karel Prikry","raw_affiliation_strings":["University of Wisconsin, Madison, Wisconsin 53706"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison, Wisconsin 53706","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110350279"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":5.7242,"has_fulltext":false,"cited_by_count":275,"citation_normalized_percentile":{"value":0.96982759,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"38","issue":"2","first_page":"193","last_page":"198"},"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.9998000264167786,"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.9998000264167786,"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.995199978351593,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/ramseys-theorem","display_name":"Ramsey's theorem","score":0.8780020475387573},{"id":"https://openalex.org/keywords/ramsey-theory","display_name":"Ramsey theory","score":0.8335029482841492},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7777620553970337},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.6622917652130127},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6130806803703308},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5404257774353027},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.5269219279289246},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.4929511547088623},{"id":"https://openalex.org/keywords/corollary","display_name":"Corollary","score":0.4542941451072693},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3528761565685272}],"concepts":[{"id":"https://openalex.org/C44115641","wikidata":"https://www.wikidata.org/wiki/Q918099","display_name":"Ramsey's theorem","level":3,"score":0.8780020475387573},{"id":"https://openalex.org/C112291201","wikidata":"https://www.wikidata.org/wiki/Q1336170","display_name":"Ramsey theory","level":2,"score":0.8335029482841492},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7777620553970337},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.6622917652130127},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6130806803703308},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5404257774353027},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5269219279289246},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4929511547088623},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.4542941451072693},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3528761565685272},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2272055","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2272055","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/1183738624","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183738624","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1969555173","https://openalex.org/W1970364998","https://openalex.org/W1996516812","https://openalex.org/W2058683290","https://openalex.org/W2073113995","https://openalex.org/W2095689360","https://openalex.org/W4231526177","https://openalex.org/W4241824940"],"related_works":["https://openalex.org/W2054171166","https://openalex.org/W2362456250","https://openalex.org/W13791998","https://openalex.org/W2474561564","https://openalex.org/W2949231378","https://openalex.org/W4301914467","https://openalex.org/W2950410478","https://openalex.org/W4301765976","https://openalex.org/W4297817664","https://openalex.org/W2292548913"],"abstract_inverted_index":{"Definition":[0,43],"1.":[1],"For":[2],"a":[3,7,35,240],"set":[4,18,46],"S":[5,47,69,80,94,181,184,209,219],"and":[6,23,83,183,231,265],"cardinal":[8,26],"\u03ba":[9],",":[10,193],"In":[11,100,124],"particular,":[12],"2":[13,27,32,49,77,96,185,191,220],"\u03c9":[14,33,50,60,67,75,78,97,192,200,207,217],"denotes":[15],"the":[16,20,25,39,103,107],"power":[17],"of":[19,102,106,169,190,242],"natural":[21],"numbers":[22],"not":[24,92],"\u21350":[28],".":[29,81],"We":[30],"regard":[31],"as":[34,178],"topological":[36],"space":[37],"with":[38],"usual":[40],"product":[41],"topology.":[42],"2.":[44],"A":[45],"\u2286":[48,68,76,95],"is":[51,55,98,131,195,224],"Ramsey":[52],"if":[53],"there":[54,194],"an":[56,196],"M":[57,65,73,197,205,215],"\u2208":[58,198],"[\u03c9]":[59,199],"such":[61,201],"that":[62,91,117,132,202,251],"either":[63,203],"[":[64,72,204,214],"]":[66,74,206,216],"or":[70,213],"else":[71],"\u2212":[79],"Erd\u00f6s":[82],"Rado":[84],"[3,":[85],"Example":[86],"1,":[87],"p.":[88],"434]":[89],"showed":[90],"every":[93],"Ramsey.":[99,123,137],"view":[101],"nonconstructive":[104],"character":[105],"counterexample,":[108],"one":[109],"might":[110],"expect":[111],"(as":[112],"Dana":[113],"Scott":[114],"has":[115,140,272],"suggested)":[116],"all":[118,133],"sufficiently":[119],"definable":[120],"sets":[121,135,228,233,253],"are":[122,136,186,229,234,254],"fact,":[125],"our":[126],"main":[127],"result":[128,143,153],"(Theorem":[129],"2)":[130],"Borei":[134],"Soare":[138],"[10]":[139],"applied":[141],"this":[142,256],"to":[144],"some":[145],"problems":[146],"in":[147,249],"recursion":[148],"theory.":[149],"The":[150,163],"first":[151],"positive":[152],"on":[154],"Scott's":[155],"problem":[156],"was":[157,166,257],"Ramsey's":[158,170],"theorem":[159,171,244],"[8,":[160],"Theorem":[161],"A].":[162],"next":[164],"advance":[165],"Nash-Williams'":[167,243],"generalization":[168,241],"(Corollary":[172,245],"2),":[173],"which":[174,247],"can":[175],"be":[176],"interpreted":[177],"saying:":[179],"If":[180],"1":[182,210],"disjoint":[187],"open":[188,252],"subsets":[189],"\u22c2":[208],"=":[211,221],"\u2205":[212],"\u2229":[218],"\u2286.":[222],"(This":[223],"halfway":[225],"between":[226],"\u201cclopen":[227],"Ramsey\u201d":[230],"\u201copen":[232],"Ramsey.\u201d)":[235],"Then":[236],"Galvin":[237],"[4]":[238],"stated":[239],"1)":[246],"says,":[248],"effect,":[250],"Ramsey;":[255],"discovered":[258],"independently":[259],"by":[260],"Andrzej":[261],"Ehrenfeucht,":[262],"Paul":[263],"Cohen,":[264],"probably":[266],"many":[267],"others,":[268],"but":[269],"no":[270],"proof":[271],"been":[273],"published.":[274]},"counts_by_year":[{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":13},{"year":2016,"cited_by_count":11},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":11},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":7}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}