{"id":"https://openalex.org/W4390267662","doi":"https://doi.org/10.1142/s0218196724500024","title":"The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies","display_name":"The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies","publication_year":2023,"publication_date":"2023-12-27","ids":{"openalex":"https://openalex.org/W4390267662","doi":"https://doi.org/10.1142/s0218196724500024"},"language":"en","primary_location":{"id":"doi:10.1142/s0218196724500024","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196724500024","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/A5097222267","display_name":"Jana Vola\u0159\u00edkov\u00e1","orcid":"https://orcid.org/0009-0005-9828-5458"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Jana Vola\u0159\u00edkov\u00e1","raw_affiliation_strings":["Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1 2, 611 37 Brno, Czech Republic"],"raw_orcid":"https://orcid.org/0009-0005-9828-5458","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1 2, 611 37 Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5097222267"],"corresponding_institution_ids":["https://openalex.org/I21449261"],"apc_list":null,"apc_paid":null,"fwci":0.1897,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.58764124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"34","issue":"01","first_page":"87","last_page":"135"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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":1.0,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9889000058174133,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9812999963760376,"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/concatenation","display_name":"Concatenation (mathematics)","score":0.8245110511779785},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8026481866836548},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5639275312423706},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.5496385097503662},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.5423174500465393},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5393106937408447},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5325201153755188},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.478288471698761},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.372091144323349},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33012205362319946},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3259618878364563}],"concepts":[{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.8245110511779785},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8026481866836548},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5639275312423706},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5496385097503662},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.5423174500465393},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5393106937408447},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5325201153755188},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.478288471698761},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.372091144323349},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33012205362319946},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3259618878364563},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218196724500024","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218196724500024","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.5199999809265137,"id":"https://metadata.un.org/sdg/2","display_name":"Zero hunger"}],"awards":[{"id":"https://openalex.org/G2965088905","display_name":null,"funder_award_id":"GA19-12790S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W209374521","https://openalex.org/W1161996442","https://openalex.org/W1486333087","https://openalex.org/W1494501847","https://openalex.org/W1508466008","https://openalex.org/W1518573520","https://openalex.org/W1560939112","https://openalex.org/W1576799344","https://openalex.org/W1979971526","https://openalex.org/W1981565742","https://openalex.org/W1996281160","https://openalex.org/W2000014440","https://openalex.org/W2004986871","https://openalex.org/W2005100072","https://openalex.org/W2009062978","https://openalex.org/W2013085432","https://openalex.org/W2019522567","https://openalex.org/W2032853624","https://openalex.org/W2039934838","https://openalex.org/W2042177219","https://openalex.org/W2063190464","https://openalex.org/W2065599266","https://openalex.org/W2075005736","https://openalex.org/W2076872551","https://openalex.org/W2088172311","https://openalex.org/W2092343122","https://openalex.org/W2116250539","https://openalex.org/W2167954650","https://openalex.org/W2268747186","https://openalex.org/W2330313178","https://openalex.org/W2427667931","https://openalex.org/W2963241423","https://openalex.org/W2963440540","https://openalex.org/W2964318531","https://openalex.org/W2964382522","https://openalex.org/W2988492552","https://openalex.org/W3098578978","https://openalex.org/W3104387718","https://openalex.org/W4210981569","https://openalex.org/W4299651338"],"related_works":["https://openalex.org/W2373577936","https://openalex.org/W3095575180","https://openalex.org/W2389596151","https://openalex.org/W4221148444","https://openalex.org/W4226054107","https://openalex.org/W4387678054","https://openalex.org/W4280598225","https://openalex.org/W4313593731","https://openalex.org/W1511851241","https://openalex.org/W1596626150"],"abstract_inverted_index":{"We":[0],"deal":[1],"with":[2,107,164,205],"the":[3,6,74,85,88,151,176,217,237,241,258],"question":[4],"of":[5,10,12,18,21,26,47,60,87,104,115,123,136,138,148,153,174,195,215,240],"[Formula:":[7,29,34,53,61,69,93,97,101,181,185,189,222,226,232,264],"see":[8,30,35,54,62,70,94,98,102,182,186,190,223,227,233,265],"text]-reducibility":[9],"pseudovarieties":[11,177,218],"ordered":[13,27,41],"monoids":[14,28],"corresponding":[15,178,219],"to":[16,179,220],"levels":[17,92,180,221],"concatenation":[19,105,162,203],"hierarchies":[20,106],"regular":[22,116,139],"languages.":[23],"A":[24],"pseudovariety":[25,173,214],"text]":[31,71,99,103,183,187,224,228],"is":[32,50,65,261],"called":[33],"text]-reducible":[36],"if,":[37],"given":[38],"a":[39,111,132,146,170,193,211,245],"finite":[40,112,172,213],"monoid":[42],"M,":[43],"for":[44,91,160,201,248],"every":[45,161,202],"inequality":[46,59],"pseudowords":[48],"that":[49,64,257],"valid":[51,67],"in":[52,68,77,236],"text],":[55,95],"there":[56],"exists":[57],"an":[58],"text]-words":[63],"also":[66],"and":[72,80,100,141,155,184,225,253],"has":[73],"same":[75],"\u201cimprint\u201d":[76],"M.":[78],"Place":[79,154,252],"Zeitoun":[81],"have":[82,127],"recently":[83],"proven":[84],"decidability":[86],"membership":[89,125],"problem":[90,135,147],"1,":[96],"level":[108,165,206,249,259],"0":[109,166,207],"being":[110,167,208],"Boolean":[113],"algebra":[114],"languages":[117,140],"closed":[118],"under":[119],"quotients.":[120],"The":[121],"solutions":[122],"these":[124,196],"problems":[126],"been":[128],"found":[129],"by":[130,169,210,231,251,263],"considering":[131],"more":[133],"general":[134],"separation":[137],"its":[142],"further":[143],"generalization":[144],"\u2014":[145],"covering.":[149],"Following":[150],"results":[152],"Zeitoun,":[156,254],"we":[157,198,255],"prove":[158],"that,":[159,200],"hierarchy":[163,204],"represented":[168,209],"locally":[171,212],"monoids,":[175,216],"are":[188,229],"text]-reducible.":[191],"As":[192],"corollary":[194],"results,":[197],"obtain":[199,256],"definable":[230,262],"text]-inequalities.":[234],"Furthermore,":[235],"special":[238],"case":[239],"Straubing\u2013Th\u00e9rien":[242],"hierarchy,":[243],"using":[244],"characterization":[246],"theorem":[247],"2":[250,260],"text]-identities.":[266]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}