{"id":"https://openalex.org/W7141076783","doi":"https://doi.org/10.1112/blms.70277","title":"A remark on inverse limits of effective subshifts","display_name":"A remark on inverse limits of effective subshifts","publication_year":2026,"publication_date":"2026-03-27","ids":{"openalex":"https://openalex.org/W7141076783","doi":"https://doi.org/10.1112/blms.70277"},"language":"en","primary_location":{"id":"doi:10.1112/blms.70277","doi":"https://doi.org/10.1112/blms.70277","is_oa":false,"landing_page_url":"https://doi.org/10.1112/blms.70277","pdf_url":null,"source":{"id":"https://openalex.org/S39770307","display_name":"Bulletin of the London Mathematical Society","issn_l":"0024-6093","issn":["0024-6093","1469-2120"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-2","norway-2"],"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":"Bulletin of the London Mathematical Society","raw_type":"journal-article"},"volume":null,"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/A5063447100","display_name":"Sebasti\u00e1n Barbieri","orcid":"https://orcid.org/0000-0001-9567-2085","observed_orcids":["https://orcid.org/0000-0001-9567-2085"]},"institutions":[{"id":"https://openalex.org/I10457146","display_name":"Universidad de Santiago de Chile","ror":"https://ror.org/02ma57s91","country_code":"CL","type":"education","lineage":["https://openalex.org/I10457146"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"Sebasti\u00e1n Barbieri","raw_affiliation_strings":["Departamento de Matem\u00e1tica y Ciencia de la Computaci\u00f3n Universidad de Santiago de Chile Santiago Chile"],"raw_orcid":"https://orcid.org/0000-0001-9567-2085","affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica y Ciencia de la Computaci\u00f3n Universidad de Santiago de Chile Santiago Chile","institution_ids":["https://openalex.org/I10457146"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065812248","display_name":"L\u00e9o Poirier","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\u00e9matiques de Marseille","ror":"https://ror.org/042h2y225","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Leo Poirier","raw_affiliation_strings":["Institut de Math\u00e9matiques de Marseille (I2M) Aix\u2010Marseille Universit\u00e9 Marseille France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matiques de Marseille (I2M) Aix\u2010Marseille Universit\u00e9 Marseille France","institution_ids":["https://openalex.org/I21491767","https://openalex.org/I4210138206"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5063447100"],"corresponding_institution_ids":["https://openalex.org/I10457146"],"apc_list":{"value":3930,"currency":"USD","value_usd":3930},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22614634,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"58","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.29269999265670776,"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/T11567","display_name":"semigroups and automata theory","score":0.29269999265670776,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.2484000027179718,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.21040000021457672,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/inverse-limits","display_name":"inverse limits","score":0.996999979019165},{"id":"https://openalex.org/keywords/topological-factors","display_name":"topological factors","score":0.8820000290870667},{"id":"https://openalex.org/keywords/finitely-generated-groups","display_name":"finitely generated groups","score":0.7559999823570251},{"id":"https://openalex.org/keywords/universality","display_name":"universality","score":0.609000027179718},{"id":"https://openalex.org/keywords/symbolic-dynamics","display_name":"symbolic dynamics","score":0.550000011920929}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.906000018119812},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7674999833106995},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7480999827384949},{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.7293000221252441},{"id":"https://openalex.org/C53936288","wikidata":"https://www.wikidata.org/wiki/Q2634828","display_name":"Inverse limit","level":2,"score":0.7226999998092651},{"id":"https://openalex.org/C2780350623","wikidata":"https://www.wikidata.org/wiki/Q3055355","display_name":"Topological entropy","level":2,"score":0.652400016784668},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.4756999909877777},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4740999937057495},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4666000008583069},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.45080000162124634},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.42989999055862427},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41670000553131104},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3912000060081482},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.38670000433921814},{"id":"https://openalex.org/C63548660","wikidata":"https://www.wikidata.org/wiki/Q858223","display_name":"Limit point","level":2,"score":0.35659998655319214},{"id":"https://openalex.org/C47600822","wikidata":"https://www.wikidata.org/wiki/Q7825032","display_name":"Topological dynamics","level":5,"score":0.31360000371932983},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C2780811992","wikidata":"https://www.wikidata.org/wiki/Q21083858","display_name":"Finitely generated group","level":3,"score":0.29580000042915344},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.29109999537467957},{"id":"https://openalex.org/C2776416436","wikidata":"https://www.wikidata.org/wiki/Q3751781","display_name":"Domino","level":3,"score":0.29030001163482666},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2782000005245209},{"id":"https://openalex.org/C16101541","wikidata":"https://www.wikidata.org/wiki/Q1350838","display_name":"Symbolic dynamics","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C58179670","wikidata":"https://www.wikidata.org/wiki/Q1857002","display_name":"Amenable group","level":3,"score":0.25619998574256897},{"id":"https://openalex.org/C200581526","wikidata":"https://www.wikidata.org/wiki/Q690494","display_name":"Homoclinic orbit","level":4,"score":0.2540000081062317}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1112/blms.70277","doi":"https://doi.org/10.1112/blms.70277","is_oa":false,"landing_page_url":"https://doi.org/10.1112/blms.70277","pdf_url":null,"source":{"id":"https://openalex.org/S39770307","display_name":"Bulletin of the London Mathematical Society","issn_l":"0024-6093","issn":["0024-6093","1469-2120"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-2","norway-2"],"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":"Bulletin of the London Mathematical Society","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"score":0.46443405747413635,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1962927901","https://openalex.org/W2013126736","https://openalex.org/W2017025480","https://openalex.org/W2052399269","https://openalex.org/W2797211915","https://openalex.org/W2962928969","https://openalex.org/W4292512159","https://openalex.org/W4403317158"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"We":[1],"show":[2],"that,":[3],"for":[4,47],"every":[5],"finitely":[6],"generated":[7],"group":[8],"with":[9],"decidable":[10],"word":[11],"problem":[12],"and":[13],"undecidable":[14],"domino":[15],"problem,":[16],"there":[17],"exists":[18],"a":[19],"sequence":[20],"of":[21,32,50],"effective":[22,34],"subshifts,":[23],"whose":[24],"inverse":[25],"limit":[26],"is":[27],"not":[28],"the":[29,42],"topological":[30,45],"factor":[31],"any":[33],"dynamical":[35,51],"system.":[36],"This":[37],"follows":[38],"from":[39],"considerations":[40],"on":[41],"universality":[43],"under":[44],"factors":[46],"this":[48],"class":[49],"systems.":[52]},"counts_by_year":[],"updated_date":"2026-09-21T07:43:02.447757","created_date":"2026-03-28T00:00:00"}