{"id":"https://openalex.org/W3036740691","doi":"https://doi.org/10.1002/malq.201900012","title":"Singly generated quasivarieties and residuated structures","display_name":"Singly generated quasivarieties and residuated structures","publication_year":2020,"publication_date":"2020-06-21","ids":{"openalex":"https://openalex.org/W3036740691","doi":"https://doi.org/10.1002/malq.201900012","mag":"3036740691"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201900012","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201900012","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":"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/A5031449832","display_name":"Tommaso Moraschini","orcid":"https://orcid.org/0000-0001-9784-3116"},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tommaso Moraschini","raw_affiliation_strings":["Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague 8 Czech Republic"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vod\u00e1renskou v\u011b\u017e\u00ed 2, 182 07 Prague 8 Czech Republic","institution_ids":["https://openalex.org/I4210155092"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078866044","display_name":"James Raftery","orcid":"https://orcid.org/0000-0003-1071-2506"},"institutions":[{"id":"https://openalex.org/I4210124601","display_name":"Department of Mathematical Sciences","ror":"https://ror.org/02xkdev90","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I148561064","display_name":"African Institute for Mathematical Sciences","ror":"https://ror.org/02f9k5d27","country_code":"ZA","type":"education","lineage":["https://openalex.org/I148561064"]},{"id":"https://openalex.org/I69552723","display_name":"University of Pretoria","ror":"https://ror.org/00g0p6g84","country_code":"ZA","type":"education","lineage":["https://openalex.org/I69552723"]}],"countries":["RU","ZA"],"is_corresponding":true,"raw_author_name":"James G. Raftery","raw_affiliation_strings":["DST\u2010NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE\u2010MaSS) 1 Jan Smuts Avenue, Braamfontein 2000 Johannesburg South Africa","Department of Mathematics and Applied Mathematics University of Pretoria Private Bag X20, Hatfield Pretoria 0028 South Africa","DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), 1 Jan Smuts Avenue, Braamfontein 2000, Johannesburg, South Africa","Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 South Africa"],"affiliations":[{"raw_affiliation_string":"DST\u2010NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE\u2010MaSS) 1 Jan Smuts Avenue, Braamfontein 2000 Johannesburg South Africa","institution_ids":["https://openalex.org/I4210124601"]},{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics University of Pretoria Private Bag X20, Hatfield Pretoria 0028 South Africa","institution_ids":["https://openalex.org/I69552723"]},{"raw_affiliation_string":"DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), 1 Jan Smuts Avenue, Braamfontein 2000, Johannesburg, South Africa","institution_ids":["https://openalex.org/I148561064"]},{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 South Africa","institution_ids":["https://openalex.org/I69552723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070355885","display_name":"J. J. Wannenburg","orcid":"https://orcid.org/0000-0002-2025-533X"},"institutions":[{"id":"https://openalex.org/I4210124601","display_name":"Department of Mathematical Sciences","ror":"https://ror.org/02xkdev90","country_code":"RU","type":"government","lineage":["https://openalex.org/I1313323035","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I148561064","display_name":"African Institute for Mathematical Sciences","ror":"https://ror.org/02f9k5d27","country_code":"ZA","type":"education","lineage":["https://openalex.org/I148561064"]},{"id":"https://openalex.org/I69552723","display_name":"University of Pretoria","ror":"https://ror.org/00g0p6g84","country_code":"ZA","type":"education","lineage":["https://openalex.org/I69552723"]}],"countries":["RU","ZA"],"is_corresponding":false,"raw_author_name":"Johann J. Wannenburg","raw_affiliation_strings":["DST\u2010NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE\u2010MaSS) 1 Jan Smuts Avenue, Braamfontein 2000 Johannesburg South Africa","Department of Mathematics and Applied Mathematics University of Pretoria Private Bag X20, Hatfield Pretoria 0028 South Africa","DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), 1 Jan Smuts Avenue, Braamfontein 2000, Johannesburg, South Africa","Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 South Africa"],"affiliations":[{"raw_affiliation_string":"DST\u2010NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE\u2010MaSS) 1 Jan Smuts Avenue, Braamfontein 2000 Johannesburg South Africa","institution_ids":["https://openalex.org/I4210124601"]},{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics University of Pretoria Private Bag X20, Hatfield Pretoria 0028 South Africa","institution_ids":["https://openalex.org/I69552723"]},{"raw_affiliation_string":"DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS), 1 Jan Smuts Avenue, Braamfontein 2000, Johannesburg, South Africa","institution_ids":["https://openalex.org/I148561064"]},{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 South Africa","institution_ids":["https://openalex.org/I69552723"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078866044"],"corresponding_institution_ids":["https://openalex.org/I148561064","https://openalex.org/I4210124601","https://openalex.org/I69552723"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":1.2665,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.8436995,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"66","issue":"2","first_page":"150","last_page":"172"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"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/T11567","display_name":"semigroups and automata theory","score":0.9952999949455261,"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.7865389585494995},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.5952218770980835},{"id":"https://openalex.org/keywords/retract","display_name":"Retract","score":0.5874418616294861},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5835244059562683},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5555981993675232},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5366394519805908},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5074779391288757},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.46528521180152893},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4290198087692261},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34930944442749023},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10307428240776062},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.053424686193466187}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7865389585494995},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.5952218770980835},{"id":"https://openalex.org/C2776055716","wikidata":"https://www.wikidata.org/wiki/Q7316893","display_name":"Retract","level":2,"score":0.5874418616294861},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5835244059562683},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5555981993675232},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5366394519805908},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5074779391288757},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.46528521180152893},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4290198087692261},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34930944442749023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10307428240776062},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.053424686193466187},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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":2,"locations":[{"id":"doi:10.1002/malq.201900012","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201900012","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:repository.up.ac.za:2263/81893","is_oa":false,"landing_page_url":"http://hdl.handle.net/2263/81893","pdf_url":null,"source":{"id":"https://openalex.org/S4306401870","display_name":"UpSpace Institutional Repository (University of Pretoria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I69552723","host_organization_name":"University of Pretoria","host_organization_lineage":["https://openalex.org/I69552723"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Postprint Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4018775812","display_name":null,"funder_award_id":"689176","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"}],"funders":[{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":60,"referenced_works":["https://openalex.org/W46285796","https://openalex.org/W108246786","https://openalex.org/W279306447","https://openalex.org/W563823708","https://openalex.org/W564565436","https://openalex.org/W1483298393","https://openalex.org/W1556894108","https://openalex.org/W1593617641","https://openalex.org/W1964800937","https://openalex.org/W1980141941","https://openalex.org/W1984616877","https://openalex.org/W1994913066","https://openalex.org/W1996369369","https://openalex.org/W2010428907","https://openalex.org/W2013149873","https://openalex.org/W2021228490","https://openalex.org/W2022569929","https://openalex.org/W2023712626","https://openalex.org/W2028709941","https://openalex.org/W2030423512","https://openalex.org/W2031871805","https://openalex.org/W2033688127","https://openalex.org/W2043694271","https://openalex.org/W2049821930","https://openalex.org/W2053533462","https://openalex.org/W2061114677","https://openalex.org/W2062861017","https://openalex.org/W2069051622","https://openalex.org/W2071073966","https://openalex.org/W2076274196","https://openalex.org/W2093505637","https://openalex.org/W2098119250","https://openalex.org/W2099602798","https://openalex.org/W2118608511","https://openalex.org/W2119089900","https://openalex.org/W2122390915","https://openalex.org/W2138544762","https://openalex.org/W2158627825","https://openalex.org/W2159279212","https://openalex.org/W2171355054","https://openalex.org/W2224180113","https://openalex.org/W2335099172","https://openalex.org/W2513075719","https://openalex.org/W2574677321","https://openalex.org/W2755711091","https://openalex.org/W2784476171","https://openalex.org/W2784884329","https://openalex.org/W2791109285","https://openalex.org/W2799774902","https://openalex.org/W2935251583","https://openalex.org/W2954530126","https://openalex.org/W2964153173","https://openalex.org/W3100774355","https://openalex.org/W3127358834","https://openalex.org/W3170868275","https://openalex.org/W3172068124","https://openalex.org/W4252113473","https://openalex.org/W4255255331","https://openalex.org/W4285719527","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W2242551908","https://openalex.org/W399880605","https://openalex.org/W2320559754","https://openalex.org/W2080574912","https://openalex.org/W1999392874","https://openalex.org/W1870471499","https://openalex.org/W4294189372","https://openalex.org/W1797962494","https://openalex.org/W2397978882","https://openalex.org/W3141748808"],"abstract_inverted_index":{"Abstract":[0],"A":[1,22,42,44],"quasivariety":[2,128],"of":[3,46,59,106,129,158,192],"algebras":[4],"has":[5,76,82],"the":[6,32,56,62,77,83,100,156,165,174,189],"joint":[7],"embedding":[8],"property":[9],"(JEP)":[10],"if":[11,14,28,31,70,80,111,139,142],"and":[12,29,79,85,140,170,194],"only":[13,30,141],"it":[15,74,81,116],"is":[16,25,54,71,112,117,137,152],"generated":[17,103,118],"by":[18,104,119],"a":[19,127,133,147],"single":[20],"algebra":[21,37],".":[23,43],"It":[24],"structurally":[26,184],"complete":[27],"free":[33],"\u2135":[34],"0":[35],"\u2010generated":[36],"in":[38],"can":[39],"serve":[40],"as":[41],"consequence":[45],"this":[47],"demand,":[48],"called":[49],"\u2018passive":[50],"structural":[51],"completeness\u2019":[52],"(PSC),":[53],"that":[55,69,126,167,172,182],"nontrivial":[57,87,135,144],"members":[58,88,96,145],"all":[60,97],"satisfy":[61],"same":[63],"existential":[64],"positive":[65],"sentences.":[66],"We":[67,123],"prove":[68,125],"PSC":[72,138,169],"then":[73,92,115,153],"still":[75],"JEP,":[78,175],"JEP":[84],"its":[86,93,143],"lack":[89],"trivial":[90],"subalgebras,":[91],"relatively":[94,113],"simple":[95],"belong":[98],"to":[99,155],"universal":[101],"class":[102],"one":[105,120],"them.":[107],"Under":[108],"these":[109],"conditions,":[110],"semisimple":[114],"\u2010simple":[121],"algebra.":[122],"also":[124],"finite":[130,134],"type,":[131],"with":[132],"member,":[136],"have":[146,173],"common":[148],"retract.":[149],"The":[150,186],"theory":[151],"applied":[154],"variety":[157],"De":[159],"Morgan":[160],"monoids,":[161],"where":[162],"we":[163],"isolate":[164],"sub(quasi)varieties":[166],"are":[168,183],"those":[171,181],"while":[176],"throwing":[177],"fresh":[178],"light":[179],"on":[180],"complete.":[185],"results":[187],"illuminate":[188],"extension":[190],"lattices":[191],"intuitionistic":[193],"relevance":[195],"logics.":[196]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}