{"id":"https://openalex.org/W2784884329","doi":"https://doi.org/10.1017/s1755020318000448","title":"VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS","display_name":"VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS","publication_year":2019,"publication_date":"2019-01-26","ids":{"openalex":"https://openalex.org/W2784884329","doi":"https://doi.org/10.1017/s1755020318000448","mag":"2784884329"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020318000448","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020318000448","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1801.06654","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"T. MORASCHINI","orcid":null},"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":true,"raw_author_name":"T. MORASCHINI","raw_affiliation_strings":["Institute of Computer Science, Academy of Sciences of the Czech Republic"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Academy of Sciences of the Czech Republic","institution_ids":["https://openalex.org/I4210155092"]}]},{"author_position":"middle","author":{"id":null,"display_name":"J. G. RAFTERY","orcid":null},"institutions":[{"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":["ZA"],"is_corresponding":true,"raw_author_name":"J. G. RAFTERY","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Pretoria"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Pretoria","institution_ids":["https://openalex.org/I69552723"]}]},{"author_position":"last","author":{"id":null,"display_name":"J. J. WANNENBURG","orcid":null},"institutions":[{"id":"https://openalex.org/I4210153325","display_name":"Institute of Mathematical Statistics","ror":"https://ror.org/043f04882","country_code":"US","type":"other","lineage":["https://openalex.org/I4210153325"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"J. J. WANNENBURG","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Pretoria; DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Pretoria; DST-NRF Centre of Excellence in Mathematical and Statistical Sciences (CoE-MaSS","institution_ids":["https://openalex.org/I4210153325"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210153325","https://openalex.org/I4210155092","https://openalex.org/I69552723"],"apc_list":null,"apc_paid":null,"fwci":0.7983,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.73615502,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"13","issue":"2","first_page":"338","last_page":"374"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9872999787330627,"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.9872999787330627,"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/T11567","display_name":"semigroups and automata theory","score":0.0026000000070780516,"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/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.0024999999441206455,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/subvariety","display_name":"Subvariety","score":0.9519000053405762},{"id":"https://openalex.org/keywords/idempotence","display_name":"Idempotence","score":0.794700026512146},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6876999735832214},{"id":"https://openalex.org/keywords/finitely-generated-abelian-group","display_name":"Finitely-generated abelian group","score":0.5522000193595886},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.36820000410079956},{"id":"https://openalex.org/keywords/semilattice","display_name":"Semilattice","score":0.3652999997138977},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36489999294281006}],"concepts":[{"id":"https://openalex.org/C2777183706","wikidata":"https://www.wikidata.org/wiki/Q630771","display_name":"Subvariety","level":3,"score":0.9519000053405762},{"id":"https://openalex.org/C172252984","wikidata":"https://www.wikidata.org/wiki/Q368988","display_name":"Idempotence","level":2,"score":0.794700026512146},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7060999870300293},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6876999735832214},{"id":"https://openalex.org/C162860070","wikidata":"https://www.wikidata.org/wiki/Q142140","display_name":"Finitely-generated abelian group","level":2,"score":0.5522000193595886},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4959999918937683},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39489999413490295},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.36820000410079956},{"id":"https://openalex.org/C132170107","wikidata":"https://www.wikidata.org/wiki/Q834585","display_name":"Semilattice","level":3,"score":0.3652999997138977},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36489999294281006},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.351500004529953},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.34450000524520874},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.3310000002384186},{"id":"https://openalex.org/C27859207","wikidata":"https://www.wikidata.org/wiki/Q5500180","display_name":"Free algebra","level":5,"score":0.3172000050544739},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.3068000078201294},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.2818000018596649}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1755020318000448","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020318000448","pdf_url":null,"source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1801.06654","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.06654","pdf_url":"https://arxiv.org/pdf/1801.06654","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":null,"raw_type":"text"},{"id":"pmh:oai:repository.up.ac.za:2263/79444","is_oa":false,"landing_page_url":"http://hdl.handle.net/2263/79444","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":"Article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1801.06654","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.06654","pdf_url":"https://arxiv.org/pdf/1801.06654","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":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W279306447","https://openalex.org/W564565436","https://openalex.org/W1970938795","https://openalex.org/W1976553883","https://openalex.org/W1982315827","https://openalex.org/W1984616877","https://openalex.org/W1994913066","https://openalex.org/W1996369369","https://openalex.org/W2009732936","https://openalex.org/W2035319391","https://openalex.org/W2051668492","https://openalex.org/W2053533462","https://openalex.org/W2057821078","https://openalex.org/W2062861017","https://openalex.org/W2075033708","https://openalex.org/W2099602798","https://openalex.org/W2118608511","https://openalex.org/W2119089900","https://openalex.org/W2142594371","https://openalex.org/W2156760583","https://openalex.org/W3213860454","https://openalex.org/W4239011127","https://openalex.org/W6748488492"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1,13,45,91,119],"variety":[2,123],"DMM":[3,24,98,196],"of":[4,16,23,28,33,94,121,137,145,163,184,190,225],"De":[5,59,82,103,226],"Morgan":[6,60,83,104,227],"monoids":[7,61,84],"has":[8,36,42],"just":[9,43,135,221],"four":[10],"minimal":[11,223],"subvarieties.":[12],"join-irreducible":[14],"covers":[15,120,183],"these":[17,146],"atoms":[18,31,48],"in":[19],"the":[20,29,40,72,101,122,160],"subvariety":[21,117],"lattice":[22],"are":[25,54,130,134,197,207,213,220],"investigated.":[26],"One":[27],"two":[30,47],"consisting":[32],"idempotent":[34,51],"algebras":[35],"no":[37],"such":[38],"cover;":[39],"other":[41],"one.":[44],"remaining":[46],"lack":[49],"nontrivial":[50,74,150],"members.":[52],"They":[53],"generated,":[55,209],"respectively,":[56],"by":[57,88],"4-element":[58],"C":[62,69,95,125,153,186],"4":[63,66,70,96,126,154,187,193],"and":[64,210],"D":[65,192],",":[67],"where":[68],"is":[71,111,169,178],"only":[73],"0-generated":[75],"algebra":[76,177],"onto":[77],"which":[78,110],"finitely":[79,140,208],"subdirectly":[80,175],"irreducible":[81,176],"may":[85],"be":[86],"mapped":[87],"noninjective":[89],"homomorphisms.":[90],"homomorphic":[92],"preimages":[93],"within":[97,128,195],"(together":[99],"with":[100],"trivial":[102],"monoids)":[105],"constitute":[106],"a":[107,115,156,170],"proper":[108],"quasivariety,":[109],"shown":[112],"to":[113],"have":[114,152],"largest":[116],"U.":[118],"(":[124,185,191],")":[127,188],"U":[129],"revealed":[131],"here.":[132],"There":[133],"ten":[136,147],"them":[138],"(all":[139],"generated).":[141],"In":[142,159],"exactly":[143],"six":[144,165],"varieties,":[148],"all":[149,182],"members":[151],"as":[155],"retract":[157],".":[158],"varietal":[161],"join":[162],"those":[164],"classes,":[166],"every":[167,173],"subquasivariety":[168],"variety\u2014in":[171],"fact,":[172],"finite":[174],"projective.":[179],"Beyond":[180],"U,":[181],"[or":[189],")]":[194],"discriminator":[198],"varieties.":[199],"Of":[200],"these,":[201],"we":[202],"identify":[203],"infinitely":[204],"many":[205],"that":[206,212,218],"some":[211],"not.":[214],"We":[215],"also":[216],"prove":[217],"there":[219],"68":[222],"quasivarieties":[224],"monoids.":[228]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2018-02-02T00:00:00"}