{"id":"https://openalex.org/W3016913989","doi":"https://doi.org/10.3233/com-190251","title":"Some results concerning the SRT 2 2 vs. COH problem","display_name":"Some results concerning the SRT 2 2 vs. COH problem","publication_year":2020,"publication_date":"2020-04-17","ids":{"openalex":"https://openalex.org/W3016913989","doi":"https://doi.org/10.3233/com-190251","mag":"3016913989"},"language":"en","primary_location":{"id":"doi:10.3233/com-190251","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-190251","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1901.10326","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062882161","display_name":"Peter Cholak","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Peter A. Cholak","raw_affiliation_strings":["Department of Mathematics, University of Notre Dame, IN, USA. Peter.Cholak.1@nd.edu"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Notre Dame, IN, USA. Peter.Cholak.1@nd.edu","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027589956","display_name":"Damir D. Dzhafarov","orcid":null},"institutions":[{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Damir D. Dzhafarov","raw_affiliation_strings":["Department of Mathematics, University of Connecticut, CT, USA. damir@math.uconn.edu"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Connecticut, CT, USA. damir@math.uconn.edu","institution_ids":["https://openalex.org/I140172145"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015485533","display_name":"Denis R. Hirschfeldt","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Denis R. Hirschfeldt","raw_affiliation_strings":["Department of Mathematics, University of Chicago, IL, USA. drh@math.uchicago.edu"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Chicago, IL, USA. drh@math.uchicago.edu","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032131260","display_name":"Ludovic Patey","orcid":"https://orcid.org/0000-0002-0304-7926"},"institutions":[{"id":"https://openalex.org/I4210104796","display_name":"Institut Camille Jordan","ror":"https://ror.org/01ekw7f87","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210104796","https://openalex.org/I4405259976","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210146074","display_name":"Analyse, G\u00e9om\u00e9trie et Mod\u00e9lisation","ror":"https://ror.org/03qgt2624","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210141950","https://openalex.org/I4210142324","https://openalex.org/I4210146074"]},{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ludovic Patey","raw_affiliation_strings":["Institut Camille Jordan, Universit\u00e9 Claude Bernard Lyon 1, France. ludovic.patey@computability.fr","Alg\u00e8bre, g\u00e9om\u00e9trie, logique","Centre National de la Recherche Scientifique"],"affiliations":[{"raw_affiliation_string":"Institut Camille Jordan, Universit\u00e9 Claude Bernard Lyon 1, France. ludovic.patey@computability.fr","institution_ids":["https://openalex.org/I4210104796","https://openalex.org/I100532134"]},{"raw_affiliation_string":"Alg\u00e8bre, g\u00e9om\u00e9trie, logique","institution_ids":["https://openalex.org/I4210146074"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5062882161"],"corresponding_institution_ids":["https://openalex.org/I107639228"],"apc_list":null,"apc_paid":null,"fwci":0.2887,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61337743,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"9","issue":"3-4","first_page":"193","last_page":"217"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"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.9998999834060669,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.988099992275238,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/T12162","display_name":"Cellular Automata and Applications","score":0.9790999889373779,"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/ideal","display_name":"Ideal (ethics)","score":0.6911430358886719},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5355584025382996},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.5229550004005432},{"id":"https://openalex.org/keywords/ideal-point","display_name":"Ideal point","score":0.4614950120449066},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4603353440761566},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.4536806643009186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3691924810409546},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.15834179520606995},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0803678035736084}],"concepts":[{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.6911430358886719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5355584025382996},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.5229550004005432},{"id":"https://openalex.org/C2779952087","wikidata":"https://www.wikidata.org/wiki/Q11831792","display_name":"Ideal point","level":2,"score":0.4614950120449066},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4603353440761566},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.4536806643009186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3691924810409546},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.15834179520606995},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0803678035736084},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/com-190251","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-190251","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1901.10326","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.10326","pdf_url":"https://arxiv.org/pdf/1901.10326","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1901.10326","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1901.10326","pdf_url":"https://arxiv.org/pdf/1901.10326","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":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1560798351","https://openalex.org/W1574049752","https://openalex.org/W1757113349","https://openalex.org/W1966303569","https://openalex.org/W1981894804","https://openalex.org/W1984983426","https://openalex.org/W2016125425","https://openalex.org/W2026779741","https://openalex.org/W2027774232","https://openalex.org/W2038076484","https://openalex.org/W2072032541","https://openalex.org/W2102358420","https://openalex.org/W2144268026","https://openalex.org/W2148962283","https://openalex.org/W2215415851","https://openalex.org/W2288602807","https://openalex.org/W2467976395","https://openalex.org/W2473588762","https://openalex.org/W2474654837","https://openalex.org/W2480487066","https://openalex.org/W2559546918","https://openalex.org/W2611559549","https://openalex.org/W2962720709","https://openalex.org/W2962747934","https://openalex.org/W2962823038","https://openalex.org/W2963469697","https://openalex.org/W2963638240","https://openalex.org/W2963693343","https://openalex.org/W2963774537","https://openalex.org/W2964019544","https://openalex.org/W2964292697","https://openalex.org/W3098284102","https://openalex.org/W3100726716","https://openalex.org/W4229690001","https://openalex.org/W4238214510","https://openalex.org/W4238689220"],"related_works":["https://openalex.org/W2797238760","https://openalex.org/W2369558014","https://openalex.org/W2389089672","https://openalex.org/W2888685024","https://openalex.org/W1008361229","https://openalex.org/W3021355601","https://openalex.org/W3035318823","https://openalex.org/W2140830670","https://openalex.org/W3122625829","https://openalex.org/W2161070583"],"abstract_inverted_index":{"The":[0],"SRT22":[1,24,56],"vs.":[2],"COH":[3],"problem":[4,8],"is":[5,32],"a":[6,33],"central":[7],"in":[9,44],"computable":[10],"combinatorics":[11],"and":[12,57,59],"reverse":[13],"mathematics,":[14],"asking":[15],"whether":[16],"every":[17],"Turing":[18],"ideal":[19],"that":[20,62],"satisfies":[21,26],"the":[22,27,40,64],"principle":[23,28],"also":[25,71],"COH.":[29],"This":[30],"paper":[31],"contribution":[34],"towards":[35],"further":[36,78],"developing":[37],"some":[38],"of":[39,55,66],"main":[41],"techniques":[42],"involved":[43],"attacking":[45],"this":[46],"problem.":[47],"We":[48],"study":[49],"several":[50],"principles":[51],"related":[52],"to":[53,73],"each":[54],"COH,":[58],"prove":[60],"results":[61],"highlight":[63],"limits":[65],"our":[67],"current":[68],"understanding,":[69],"but":[70],"point":[72],"new":[74],"directions":[75],"ripe":[76],"for":[77],"exploration.":[79]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2020-04-24T00:00:00"}