{"id":"https://openalex.org/W2077127157","doi":"https://doi.org/10.2307/2275112","title":"Trees and -subsets of \u03c91\u03c91","display_name":"Trees and -subsets of \u03c91\u03c91","publication_year":1993,"publication_date":"1993-09-01","ids":{"openalex":"https://openalex.org/W2077127157","doi":"https://doi.org/10.2307/2275112","mag":"2077127157"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275112","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5020049513","display_name":"Alan H. Mekler","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Alan H. Mekler","raw_affiliation_string":"Department of Mathematics , Simon Fraser University , Burnaby, Canada","raw_affiliation_strings":["Department of Mathematics , Simon Fraser University , Burnaby, Canada"]},{"author_position":"last","author":{"id":"https://openalex.org/A5067128079","display_name":"Jouko V\u00e4\u00e4n\u00e1nen","orcid":"https://orcid.org/0000-0003-4356-7974"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jouko A. V\u00e4\u00e4n\u00e4nen","raw_affiliation_string":"Department of Mathematics, University of Helsinki, Helsinki, Finland.","raw_affiliation_strings":["Department of Mathematics, University of Helsinki, Helsinki, Finland."]}],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":21,"cited_by_percentile_year":{"min":87,"max":88},"biblio":{"volume":"58","issue":"3","first_page":"1052","last_page":"1070"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Model Theory and Topological Dynamics","score":0.9999,"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":"Model Theory and Topological Dynamics","score":0.9999,"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":"Computational Complexity and Algorithmic Information Theory","score":0.9809,"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.9577,"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":[{"keyword":"trees","score":0.5248}],"concepts":[{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.9173927},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.8941697},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.81564474},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.80646336},{"id":"https://openalex.org/C89507440","wikidata":"https://www.wikidata.org/wiki/Q1193137","display_name":"Regular cardinal","level":2,"score":0.6713174},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.66474986},{"id":"https://openalex.org/C2778408900","wikidata":"https://www.wikidata.org/wiki/Q1329258","display_name":"Cardinal number (linguistics)","level":2,"score":0.6133173},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5894016},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5652284},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.50660264},{"id":"https://openalex.org/C31316033","wikidata":"https://www.wikidata.org/wiki/Q1207972","display_name":"Polish space","level":3,"score":0.49824262},{"id":"https://openalex.org/C138890893","wikidata":"https://www.wikidata.org/wiki/Q620006","display_name":"Order type","level":2,"score":0.47816926},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4695243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.099776804},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.060768247},{"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275112","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"The Journal of Symbolic Logic","issn_l":"0022-4812","issn":["1943-5886","0022-4812"],"is_oa":false,"is_in_doaj":false,"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,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"referenced_works_count":7,"referenced_works":["https://openalex.org/W143899488","https://openalex.org/W1004044009","https://openalex.org/W1969555173","https://openalex.org/W2053265745","https://openalex.org/W2057822606","https://openalex.org/W2075193598","https://openalex.org/W2078782052"],"related_works":["https://openalex.org/W2077127157","https://openalex.org/W24519920","https://openalex.org/W1988752145","https://openalex.org/W3009330610","https://openalex.org/W4287863241","https://openalex.org/W3127667834","https://openalex.org/W2078628950","https://openalex.org/W2480446702","https://openalex.org/W1866988116","https://openalex.org/W4302382175"],"ngrams_url":"https://api.openalex.org/works/W2077127157/ngrams","abstract_inverted_index":{"Abstract":[0],"We":[1,46,96,120,153,164],"study":[2,98,155],"descriptive":[3,25],"set":[4,26,209],"theory":[5],"in":[6,23,63,71],"the":[7,40,78,99,107,143,147,150,156,167,204,211],"space":[8,151,212],"by":[9],"letting":[10],"trees":[11,51,57,82,110],"with":[12,83,116,182,189],"no":[13,84,117],"uncountable":[14,118],"branches":[15,86],"play":[16],"a":[17,36,48,54,69,88,103,207,215],"similar":[18],"role":[19],"as":[20],"countable":[21,81],"ordinals":[22],"traditional":[24],"theory.":[27],"By":[28],"using":[29],"such":[30],"trees,":[31],"we":[32,199],"get,":[33],"for":[34,39,53,106,210,219],"example,":[35],"covering":[37,144],"property":[38,145],"class":[41,55,79,108],"of":[42,44,50,56,80,91,102,109,111,146,149,159,162,173,203,206],"-sets":[43],".":[45,72,95,152,163],"call":[47],"family":[49,90,105],"universal":[52,89,104],"if":[58],"\u2286":[59],"and":[60,130,188,213],"every":[61,170],"tree":[62,70],"can":[64,125],"be":[65,126],"order-preservingly":[66],"mapped":[67],"into":[68],"It":[73],"is":[74,180],"well":[75],"known":[76],"that":[77,122,166,169],"infinite":[85],"has":[87,174],"size":[92],"\u2135":[93,114],"1":[94,115,127],"shall":[97],"smallest":[100],"cardinality":[101,112,124,175,179],"\u2264":[113],"branches.":[119],"prove":[121,214],"this":[123,220],"(under":[128,137],"\u00acCH)":[129],"any":[131],"regular":[132],"cardinal":[133],"\u03ba":[134],"which":[135],"satisfies":[136],"CH).":[138],"This":[139],"bears":[140],"immediately":[141],"on":[142],"-subsets":[148],"also":[154],"possible":[157],"cardinalities":[158],"definable":[160,171],"subsets":[161],"show":[165],"statement":[168],"subset":[172],"<\u03c9":[176],"n":[177,185,195],"or":[178],"equiconsistent":[181],"ZFC":[183,190],"(if":[184,194],"\u2265":[186],"3)":[187],"plus":[191],"an":[192,201],"inaccessible":[193],"=":[196],"2).":[197],"Finally,":[198],"define":[200],"analogue":[202],"notion":[205],"Borel":[208],"Souslin-Kleene":[216],"type":[217],"theorem":[218],"notion.":[221]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2077127157","counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":1}],"updated_date":"2024-03-03T17:17:13.138373","created_date":"2016-06-24"}