{"id":"https://openalex.org/W2125034550","doi":"https://doi.org/10.1142/s0218196715400111","title":"A new proof of the locality of <b>R</b>","display_name":"A new proof of the locality of <b>R</b>","publication_year":2015,"publication_date":"2015-01-09","ids":{"openalex":"https://openalex.org/W2125034550","doi":"https://doi.org/10.1142/s0218196715400111","mag":"2125034550"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196715400111","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196715400111","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"},"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/A5084561937","display_name":"Howard Straubing","orcid":null},"institutions":[{"id":"https://openalex.org/I103531236","display_name":"Boston College","ror":"https://ror.org/02n2fzt79","country_code":"US","type":"education","lineage":["https://openalex.org/I103531236"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Howard Straubing","raw_affiliation_strings":["Computer Science Department, Boston College, Chestnut Hill, Massachusetts 02476, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Boston College, Chestnut Hill, Massachusetts 02476, USA","institution_ids":["https://openalex.org/I103531236"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084561937"],"corresponding_institution_ids":["https://openalex.org/I103531236"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.0824107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"25","issue":"01n02","first_page":"293","last_page":"300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9991999864578247,"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.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9954000115394592,"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.9191349744796753},{"id":"https://openalex.org/keywords/wreath-product","display_name":"Wreath product","score":0.7364992499351501},{"id":"https://openalex.org/keywords/locality","display_name":"Locality","score":0.6307241916656494},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.6181149482727051},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5973865389823914},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5926580429077148},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5088258385658264},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4379488527774811},{"id":"https://openalex.org/keywords/decomposition-theorem","display_name":"Decomposition theorem","score":0.42258772253990173},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3959504961967468},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.34311601519584656},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.05416598916053772}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.9191349744796753},{"id":"https://openalex.org/C95635736","wikidata":"https://www.wikidata.org/wiki/Q1786640","display_name":"Wreath product","level":3,"score":0.7364992499351501},{"id":"https://openalex.org/C2779808786","wikidata":"https://www.wikidata.org/wiki/Q6664603","display_name":"Locality","level":2,"score":0.6307241916656494},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6181149482727051},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5973865389823914},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5926580429077148},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5088258385658264},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4379488527774811},{"id":"https://openalex.org/C2779182943","wikidata":"https://www.wikidata.org/wiki/Q25345219","display_name":"Decomposition theorem","level":2,"score":0.42258772253990173},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3959504961967468},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34311601519584656},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.05416598916053772},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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":1,"locations":[{"id":"doi:10.1142/s0218196715400111","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196715400111","pdf_url":null,"source":{"id":"https://openalex.org/S23260266","display_name":"International Journal of Algebra and Computation","issn_l":"0218-1967","issn":["0218-1967","1793-6500"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Algebra and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6899999976158142,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W200063938","https://openalex.org/W2038638040","https://openalex.org/W2052706627","https://openalex.org/W2064012309","https://openalex.org/W2065599266","https://openalex.org/W2158824357","https://openalex.org/W2167954650","https://openalex.org/W2313662902"],"related_works":["https://openalex.org/W1973077274","https://openalex.org/W2030427118","https://openalex.org/W1887191277","https://openalex.org/W2062410212","https://openalex.org/W2334954212","https://openalex.org/W4235288607","https://openalex.org/W2964285269","https://openalex.org/W2085341325","https://openalex.org/W2018619927","https://openalex.org/W2067253776"],"abstract_inverted_index":{"We":[0],"give":[1],"a":[2,6,42,46],"simple":[3],"proof":[4,44],"of":[5,23,28,38,45,49,57],"wreath":[7],"product":[8],"decomposition":[9,27,56],"for":[10],"locally":[11,32],"\u211b-trivial":[12,29,33],"finite":[13],"categories.":[14],"As":[15],"immediate":[16],"consequences":[17],"we":[18],"obtain":[19],"two":[20],"classic":[21],"results":[22],"Stiffler":[24],"on":[25,54],"the":[26,39,55],"monoids":[30],"and":[31,52],"semigroups.":[34],"A":[35],"small":[36],"modification":[37],"argument":[40],"provides":[41],"new":[43],"recent":[47],"theorem":[48],"Boja\u0144czyk,":[50],"Straubing":[51],"Walukiewicz":[53],"forest":[58],"algebras.":[59]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}