{"id":"https://openalex.org/W2997454689","doi":"https://doi.org/10.1002/malq.202000005","title":"Turing invariant sets and the perfect set property","display_name":"Turing invariant sets and the perfect set property","publication_year":2020,"publication_date":"2020-06-14","ids":{"openalex":"https://openalex.org/W2997454689","doi":"https://doi.org/10.1002/malq.202000005","mag":"2997454689"},"language":"en","primary_location":{"id":"doi:10.1002/malq.202000005","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202000005","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/1912.12558","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026101675","display_name":"Clovis Hamel","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Clovis Hamel","raw_affiliation_strings":["Department of Mathematics University of Toronto Room 6290, Bahen Centre, 40 St. George St. Toronto Ontario M5S 2E4 Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Toronto Room 6290, Bahen Centre, 40 St. George St. Toronto Ontario M5S 2E4 Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088682696","display_name":"Haim Horowitz","orcid":"https://orcid.org/0000-0002-4362-9592"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Haim Horowitz","raw_affiliation_strings":["Department of Mathematics University of Toronto Room 6290, Bahen Centre, 40 St. George St. Toronto Ontario M5S 2E4 Canada"],"raw_orcid":"https://orcid.org/0000-0002-4362-9592","affiliations":[{"raw_affiliation_string":"Department of Mathematics University of Toronto Room 6290, Bahen Centre, 40 St. George St. Toronto Ontario M5S 2E4 Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"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/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL","US"],"is_corresponding":true,"raw_author_name":"Saharon Shelah","raw_affiliation_strings":["Department of Mathematics Hill Center\u2014Busch Campus, Rutgers The State University of New Jersey 110 Frelinghuysen Road Piscataway NJ 08854\u20108019 United States of America","Einstein Institute of Mathematics Edmond J. Safra Campus The Hebrew University of Jerusalem Givat Ram Jerusalem 91904 Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics Hill Center\u2014Busch Campus, Rutgers The State University of New Jersey 110 Frelinghuysen Road Piscataway NJ 08854\u20108019 United States of America","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"Einstein Institute of Mathematics Edmond J. Safra Campus The Hebrew University of Jerusalem Givat Ram Jerusalem 91904 Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024923217","https://openalex.org/A5026101675","https://openalex.org/A5088682696"],"corresponding_institution_ids":["https://openalex.org/I102322142","https://openalex.org/I185261750","https://openalex.org/I197251160"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.03071502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"66","issue":"2","first_page":"247","last_page":"250"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.998199999332428,"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"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.998199999332428,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9977999925613403,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9606000185012817,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/countable-set","display_name":"Countable set","score":0.8082481622695923},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6907467246055603},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6475955843925476},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.6009677648544312},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.587693989276886},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5132813453674316},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4968288242816925},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4484562277793884},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.25493061542510986}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.8082481622695923},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6907467246055603},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6475955843925476},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.6009677648544312},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.587693989276886},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5132813453674316},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4968288242816925},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4484562277793884},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25493061542510986},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1002/malq.202000005","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.202000005","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:1912.12558","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.12558","pdf_url":"https://arxiv.org/pdf/1912.12558","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:2997454689","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/1912.12558.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.1912.12558","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1912.12558","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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1912.12558","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1912.12558","pdf_url":"https://arxiv.org/pdf/1912.12558","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2997454689.pdf","grobid_xml":"https://content.openalex.org/works/W2997454689.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W1973142104","https://openalex.org/W2030506029","https://openalex.org/W3009807839","https://openalex.org/W4239407195"],"related_works":["https://openalex.org/W2071210702","https://openalex.org/W1482930854","https://openalex.org/W196788981","https://openalex.org/W2229291294","https://openalex.org/W3155558241","https://openalex.org/W2134347995","https://openalex.org/W2889399815","https://openalex.org/W2403520340","https://openalex.org/W2000110189","https://openalex.org/W2205640427","https://openalex.org/W2067940271","https://openalex.org/W1558043875","https://openalex.org/W1514076924","https://openalex.org/W2949208375","https://openalex.org/W2768251629","https://openalex.org/W1522350611","https://openalex.org/W2049639420","https://openalex.org/W3037826954","https://openalex.org/W2835275266","https://openalex.org/W2656410742"],"abstract_inverted_index":{"Abstract":[0],"We":[1,15],"show":[2,17],"that":[3,5,18],"implies":[4],"all":[6,23],"sets":[7],"of":[8],"reals":[9],"have":[10],"the":[11],"perfect":[12],"set":[13],"property.":[14],"also":[16],"this":[19],"result":[20],"generalizes":[21],"to":[22],"countable":[24],"analytic":[25],"equivalence":[26],"relations.":[27]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}