{"id":"https://openalex.org/W2944845759","doi":"https://doi.org/10.1002/malq.202000002","title":"Mycielski among trees","display_name":"Mycielski among trees","publication_year":2021,"publication_date":"2021-08-01","ids":{"openalex":"https://openalex.org/W2944845759","doi":"https://doi.org/10.1002/malq.202000002","mag":"2944845759"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202000002","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202000002","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1905.09069","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023981936","display_name":"Marcin Michalski","orcid":"https://orcid.org/0000-0002-9672-1835"},"institutions":[{"id":"https://openalex.org/I11923345","display_name":"Wroc\u0142aw University of Science and Technology","ror":"https://ror.org/008fyn775","country_code":"PL","type":"education","lineage":["https://openalex.org/I11923345"]},{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Marcin Michalski","raw_affiliation_strings":["Department of Computer Science Faculty of Fundamental Problems of Technology Wroc\u0142aw University of Science and Technology  50\u2010370 Wroc\u0142aw Poland","Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc\u0142aw University of Science and Technology, 50-370 Wroc\u0142aw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science Faculty of Fundamental Problems of Technology Wroc\u0142aw University of Science and Technology  50\u2010370 Wroc\u0142aw Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc\u0142aw University of Science and Technology, 50-370 Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019685075","display_name":"Robert Ra\u0142owski","orcid":"https://orcid.org/0000-0002-9424-641X"},"institutions":[{"id":"https://openalex.org/I11923345","display_name":"Wroc\u0142aw University of Science and Technology","ror":"https://ror.org/008fyn775","country_code":"PL","type":"education","lineage":["https://openalex.org/I11923345"]},{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Robert Ra\u0142owski","raw_affiliation_strings":["Department of Computer Science Faculty of Fundamental Problems of Technology Wroc\u0142aw University of Science and Technology  50\u2010370 Wroc\u0142aw Poland","Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc\u0142aw University of Science and Technology, 50-370 Wroc\u0142aw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science Faculty of Fundamental Problems of Technology Wroc\u0142aw University of Science and Technology  50\u2010370 Wroc\u0142aw Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc\u0142aw University of Science and Technology, 50-370 Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084396204","display_name":"Szymon \u017beberski","orcid":"https://orcid.org/0000-0002-8519-4793"},"institutions":[{"id":"https://openalex.org/I11923345","display_name":"Wroc\u0142aw University of Science and Technology","ror":"https://ror.org/008fyn775","country_code":"PL","type":"education","lineage":["https://openalex.org/I11923345"]},{"id":"https://openalex.org/I686019","display_name":"AGH University of Krakow","ror":"https://ror.org/00bas1c41","country_code":"PL","type":"education","lineage":["https://openalex.org/I686019"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Szymon \u017beberski","raw_affiliation_strings":["Department of Computer Science Faculty of Fundamental Problems of Technology Wroc\u0142aw University of Science and Technology  50\u2010370 Wroc\u0142aw Poland","Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc\u0142aw University of Science and Technology, 50-370 Wroc\u0142aw, Poland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science Faculty of Fundamental Problems of Technology Wroc\u0142aw University of Science and Technology  50\u2010370 Wroc\u0142aw Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Fundamental Problems of Technology, Wroc\u0142aw University of Science and Technology, 50-370 Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084396204"],"corresponding_institution_ids":["https://openalex.org/I11923345","https://openalex.org/I686019"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02134005,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"67","issue":"3","first_page":"271","last_page":"281"},"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.9997000098228455,"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.9997000098228455,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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.9825999736785889,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.887823224067688},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.7916896343231201},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7153364419937134},{"id":"https://openalex.org/keywords/absoluteness","display_name":"Absoluteness","score":0.6208963990211487},{"id":"https://openalex.org/keywords/rectangle","display_name":"Rectangle","score":0.5853233933448792},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.5196470022201538},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.4148849844932556},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4118228554725647},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.2089674472808838},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.05749577283859253}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.887823224067688},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.7916896343231201},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7153364419937134},{"id":"https://openalex.org/C2780102774","wikidata":"https://www.wikidata.org/wiki/Q4669873","display_name":"Absoluteness","level":2,"score":0.6208963990211487},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.5853233933448792},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.5196470022201538},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.4148849844932556},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4118228554725647},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.2089674472808838},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05749577283859253},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.202000002","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202000002","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0942-5616","issn":["0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1905.09069","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.09069","pdf_url":"https://arxiv.org/pdf/1905.09069","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},{"id":"mag:2944845759","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1905.09069.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1905.09069","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1905.09069","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1905.09069","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1905.09069","pdf_url":"https://arxiv.org/pdf/1905.09069","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W564023694","https://openalex.org/W1539382740","https://openalex.org/W1560275598","https://openalex.org/W1575995836","https://openalex.org/W1985656057","https://openalex.org/W2006705693","https://openalex.org/W2084365019","https://openalex.org/W2098946131","https://openalex.org/W2112733797","https://openalex.org/W2141123860","https://openalex.org/W2163335501","https://openalex.org/W2240606751","https://openalex.org/W2419825341","https://openalex.org/W2484259929","https://openalex.org/W4250968511"],"related_works":["https://openalex.org/W3202307602","https://openalex.org/W2952683432","https://openalex.org/W3112211891","https://openalex.org/W2952669663","https://openalex.org/W3102528265","https://openalex.org/W3016883859","https://openalex.org/W2962862232","https://openalex.org/W2799665955","https://openalex.org/W3099961020","https://openalex.org/W3211765540","https://openalex.org/W2950095935","https://openalex.org/W2990219750","https://openalex.org/W2064325569","https://openalex.org/W2964069788","https://openalex.org/W2807174636","https://openalex.org/W2241896673","https://openalex.org/W3142335819","https://openalex.org/W2086248208","https://openalex.org/W2950394044","https://openalex.org/W3209059903"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"two\u2010dimensional":[2],"version":[3],"of":[4,29,47,50,87,96,97,111,119,132,141],"the":[5,85,145],"classical":[6],"Mycielski":[7],"theorem":[8,31],"says":[9],"that":[10,23,58,76,78,91,107],"for":[11,59,92],"every":[12,60,93],"comeager":[13,61],"or":[14,123],"conull":[15],"set":[16,21,64],"there":[17,65,100],"exists":[18,101],"a":[19,27,34,38,67,71,81,102,113,117,120,124],"perfect":[20,35,73,104],"such":[22,75,106,112],".":[24,53],"We":[25,127],"consider":[26],"strengthening":[28],"this":[30],"by":[32],"replacing":[33],"square":[36],"with":[37,52],"rectangle":[39,114],",":[40],"where":[41],"A":[42],"and":[43,70,77,108],"B":[44],"are":[45],"bodies":[46],"some":[48,130],"types":[49],"trees":[51],"In":[54,84],"particular,":[55],"we":[56,89,137],"show":[57,90,129],"G":[62],"\u03b4":[63],"exist":[66],"Miller":[68,82,125],"tree":[69,74,105,122],"uniformly":[72,103],"cannot":[79],"be":[80,116],"tree.":[83,126],"case":[86],"measure":[88,99],"subset":[94],"F":[95],"full":[98],"no":[109],"side":[110],"can":[115],"body":[118],"Silver":[121],"also":[128],"properties":[131],"forcing":[133],"extensions":[134],"from":[135],"which":[136],"derive":[138],"nonstandard":[139],"proofs":[140],"Mycielski\u2010like":[142],"theorems":[143],"via":[144],"Shoenfield":[146],"Absoluteness":[147],"Theorem.":[148]},"counts_by_year":[],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}