Pub Date : 2024-03-05DOI: 10.1007/s00012-024-00846-8
Brian A. Davey, Miroslav Haviar
Motivated by Haviar and Ploščica’s 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner’s Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs.
{"title":"Factor principal congruences and Boolean products in filtral varieties","authors":"Brian A. Davey, Miroslav Haviar","doi":"10.1007/s00012-024-00846-8","DOIUrl":"https://doi.org/10.1007/s00012-024-00846-8","url":null,"abstract":"<p>Motivated by Haviar and Ploščica’s 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner’s Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140036271","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-01DOI: 10.1007/s00012-024-00844-w
Grzegorz Bińczak, Joanna Kaleta, Andrzej Zembrzuski
It is known that every effect algebra can be represented as the effect algebra of perspectivity classes of some E-test space. We describe when there exists join and meet of two perspectivity classes of events of some algebraic E-test space. Moreover we give the formula for join and meet of perspectivity classes mentioned above, using only tests. We obtain an example of finite, non-homogeneous effect algebra E such that sharp elements of E form a lattice, whereas E is not a lattice.
众所周知,每个效应代数都可以表示为某个 E 检验空间的透视度类的效应代数。我们将描述在什么情况下存在某个代数 E 检验空间的两个事件视角类的连结和相遇。此外,我们还给出了上述仅使用检验的视角类的连结和相遇公式。我们得到了一个有限、非同质效应代数 E 的例子,使得 E 的尖元素构成一个格,而 E 不是一个格。
{"title":"Joins and meets in effect algebras","authors":"Grzegorz Bińczak, Joanna Kaleta, Andrzej Zembrzuski","doi":"10.1007/s00012-024-00844-w","DOIUrl":"https://doi.org/10.1007/s00012-024-00844-w","url":null,"abstract":"<p>It is known that every effect algebra can be represented as the effect algebra of perspectivity classes of some <i>E</i>-test space. We describe when there exists join and meet of two perspectivity classes of events of some algebraic <i>E</i>-test space. Moreover we give the formula for join and meet of perspectivity classes mentioned above, using only tests. We obtain an example of finite, non-homogeneous effect algebra <i>E</i> such that sharp elements of <i>E</i> form a lattice, whereas <i>E</i> is not a lattice.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140017896","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-03-01DOI: 10.1007/s00012-024-00849-5
Papiya Bhattacharjee, Ricardo E. Carrera
(mathfrak {KReg}) is the category of compact regular frames and frame homomorphisms. A class of (mathfrak {KReg}) frames (textbf{H}) is a hull class provided that: (i) (textbf{H}) is closed under isomorphic copies; (ii) for every (F in mathfrak {KReg}) there exist an (hF in textbf{H}) and a morphism (h_F) such that (F overset{h_F}{le } hF) is essential; (iii) if (F overset{phi }{le } H) is essential and (H in textbf{H}), then there exists (hphi : hF longrightarrow H) for which (phi = hphi cdot h_F). This work provides techniques for identifying and generating hull classes in (mathfrak {KReg}). Moreover, for a compact regular frame F, we introduce and investigate various properties of projectability and disconnectivity of F and prove that for each property, P, the class of (mathfrak {KReg})-objects that satisfy P is a hull class in (mathfrak {KReg}). In addition, we provide examples of (mathfrak {KReg}) hull classes that are not characterized by some form of projectability/disconnectivity and examples of classes of (mathfrak {KReg})-objects that are not hull classes.
{"title":"Hull classes in compact regular frames","authors":"Papiya Bhattacharjee, Ricardo E. Carrera","doi":"10.1007/s00012-024-00849-5","DOIUrl":"https://doi.org/10.1007/s00012-024-00849-5","url":null,"abstract":"<p><span>(mathfrak {KReg})</span> is the category of compact regular frames and frame homomorphisms. A class of <span>(mathfrak {KReg})</span> frames <span>(textbf{H})</span> is a hull class provided that: (i) <span>(textbf{H})</span> is closed under isomorphic copies; (ii) for every <span>(F in mathfrak {KReg})</span> there exist an <span>(hF in textbf{H})</span> and a morphism <span>(h_F)</span> such that <span>(F overset{h_F}{le } hF)</span> is essential; (iii) if <span>(F overset{phi }{le } H)</span> is essential and <span>(H in textbf{H})</span>, then there exists <span>(hphi : hF longrightarrow H)</span> for which <span>(phi = hphi cdot h_F)</span>. This work provides techniques for identifying and generating hull classes in <span>(mathfrak {KReg})</span>. Moreover, for a compact regular frame <i>F</i>, we introduce and investigate various properties of projectability and disconnectivity of <i>F</i> and prove that for each property, <i>P</i>, the class of <span>(mathfrak {KReg})</span>-objects that satisfy <i>P</i> is a hull class in <span>(mathfrak {KReg})</span>. In addition, we provide examples of <span>(mathfrak {KReg})</span> hull classes that are not characterized by some form of projectability/disconnectivity and examples of classes of <span>(mathfrak {KReg})</span>-objects that are not hull classes.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140017801","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-22DOI: 10.1007/s00012-024-00845-9
Ao Shen, Qingguo Li
In this paper, we solve two problems concerning the ideally conjunctive join-semilattices. First, we show that (L/R^1({{,textrm{Id},}}L)|_L) is ideally conjunctive for all join-semilattices L. Then we characterize those ideally conjunctive join-semilattices L such that ({{,textrm{coz},}}a) is compact for all (ain L.) Moreover, we give the definition of conjunctive posets and prove that the category of ideally conjunctive join-semilattices and join homomorphisms is reflective in the category of conjunctive posets and weakly ideal-continuous maps. As a corollary, we obtain the free ideally conjunctive join-semilattices over conjunctive posets.
在本文中,我们解决了两个关于理想结合连接半线程的问题。首先,我们证明了 (L/R^1({{,textrm{Id},}}L)|_L) 对于所有连接-半网格 L 都是理想连接的。然后,我们描述了那些理想连接的连接-半网格 L 的特征,使得 ({{,textrm{coz},}}a) 对于 L 中的所有 (a) 都是紧凑的。) 此外,我们给出了连接正集的定义,并证明理想连接连接半映射和连接同态的范畴在连接正集和弱理想连续映射的范畴中是反映的。作为一个推论,我们得到了在共轭集合上的自由理想共轭连结半映射。
{"title":"Solution to two problems on ideally conjunctive join-semilattices","authors":"Ao Shen, Qingguo Li","doi":"10.1007/s00012-024-00845-9","DOIUrl":"https://doi.org/10.1007/s00012-024-00845-9","url":null,"abstract":"<p>In this paper, we solve two problems concerning the ideally conjunctive join-semilattices. First, we show that <span>(L/R^1({{,textrm{Id},}}L)|_L)</span> is ideally conjunctive for all join-semilattices <i>L</i>. Then we characterize those ideally conjunctive join-semilattices <i>L</i> such that <span>({{,textrm{coz},}}a)</span> is compact for all <span>(ain L.)</span> Moreover, we give the definition of conjunctive posets and prove that the category of ideally conjunctive join-semilattices and join homomorphisms is reflective in the category of conjunctive posets and weakly ideal-continuous maps. As a corollary, we obtain the free ideally conjunctive join-semilattices over conjunctive posets.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139919537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The main goal of this paper is the study of the Boolean algebra of all characteristic elements in a unital (ell )-group and we investigate some topological properties of it in the case that the unital (ell )-group equipped with a link or positive filter topology. We also introduce the concept of Boolean region as a subset of a unital (ell )-group.
{"title":"On the Boolean algebra induced by a unital $$ell $$ -group","authors":"Soudabeh Karamdoust, Hassan Myrnouri, Mahmood Pourgholamhossein","doi":"10.1007/s00012-024-00848-6","DOIUrl":"https://doi.org/10.1007/s00012-024-00848-6","url":null,"abstract":"<p>The main goal of this paper is the study of the Boolean algebra of all characteristic elements in a unital <span>(ell )</span>-group and we investigate some topological properties of it in the case that the unital <span>(ell )</span>-group equipped with a link or positive filter topology. We also introduce the concept of Boolean region as a subset of a unital <span>(ell )</span>-group.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-02-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139919406","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-17DOI: 10.1007/s00012-024-00843-x
Tanmay Inamdar, Assaf Rinot
We continue our study of Sierpiński-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam’s theorem and its extension by Hajnal, it is proved that if (kappa ) is a regular uncountable cardinal that is not weakly compact in L, then there is a universal witness for non-weak-saturation of (kappa )-complete ideals. Specifically, there are (kappa )-many decompositions of (kappa ) such that, for every (kappa )-complete ideal J over (kappa ), and every (Bin J^+), one of the decompositions shatters B into (kappa )-many (J^+)-sets. A second focus here is the feature of narrowness of colourings, one already present in the theorem of Sierpiński. This feature ensures that a colouring suitable for an ideal is also suitable for all superideals possessing the requisite completeness degree. It is proved that unlike successors of regulars, every successor of a singular cardinal admits such a narrow colouring.
我们继续研究西尔皮斯基类型着色。与前一篇论文不同的是,我们在这篇论文中重点研究了由完备度分层的理想的着色。特别地,我们改进了乌兰定理和哈伊纳尔对它的扩展,证明了如果 (kappa ) 是一个在 L 中不是弱紧凑的正则不可数的红心,那么就有(kappa )-完整理想的非弱饱和的普遍见证。具体地说,有 (kappa)-many (kappa)的分解,这样,对于每一个在 (kappa) 上的 (kappa)-complete ideal J,以及每一个 (Bin J^+),其中一个分解会把 B 分解成 (kappa)-many (J^+)-sets。这里的第二个重点是着色的狭义性特征,这个特征在西尔潘斯基的定理中就已经存在了。这一特征确保了适合于一个理想的着色也适合于所有具有必要完备度的超理想。研究证明,与正则的后继者不同,奇异红心的每一个后继者都可以接受这种狭义着色。
{"title":"Was Ulam right? II: small width and general ideals","authors":"Tanmay Inamdar, Assaf Rinot","doi":"10.1007/s00012-024-00843-x","DOIUrl":"https://doi.org/10.1007/s00012-024-00843-x","url":null,"abstract":"<p>We continue our study of Sierpiński-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam’s theorem and its extension by Hajnal, it is proved that if <span>(kappa )</span> is a regular uncountable cardinal that is not weakly compact in <i>L</i>, then there is a universal witness for non-weak-saturation of <span>(kappa )</span>-complete ideals. Specifically, there are <span>(kappa )</span>-many decompositions of <span>(kappa )</span> such that, for every <span>(kappa )</span>-complete ideal <i>J</i> over <span>(kappa )</span>, and every <span>(Bin J^+)</span>, one of the decompositions shatters <i>B</i> into <span>(kappa )</span>-many <span>(J^+)</span>-sets. A second focus here is the feature of narrowness of colourings, one already present in the theorem of Sierpiński. This feature ensures that a colouring suitable for an ideal is also suitable for all superideals possessing the requisite completeness degree. It is proved that unlike successors of regulars, every successor of a singular cardinal admits such a narrow colouring.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139762453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-14DOI: 10.1007/s00012-023-00841-5
Markus Steindl
A finite semigroup is finitely related (has finite degree) if its term functions are determined by a finite set of finitary relations. For example, it is known that all nilpotent semigroups are finitely related. A nilpotent monoid is a nilpotent semigroup with adjoined identity. We show that every 4-nilpotent monoid is finitely related. We also give an example of a 5-nilpotent monoid that is not finitely related. To our knowledge, this is the first example of a finitely related semigroup where adjoining an identity yields a semigroup which is not finitely related. We also provide examples of finitely related semigroups which have subsemigroups, homomorphic images, and in particular Rees quotients, that are not finitely related.
{"title":"Not all nilpotent monoids are finitely related","authors":"Markus Steindl","doi":"10.1007/s00012-023-00841-5","DOIUrl":"https://doi.org/10.1007/s00012-023-00841-5","url":null,"abstract":"<p>A finite semigroup is finitely related (has finite degree) if its term functions are determined by a finite set of finitary relations. For example, it is known that all nilpotent semigroups are finitely related. A nilpotent monoid is a nilpotent semigroup with adjoined identity. We show that every 4-nilpotent monoid is finitely related. We also give an example of a 5-nilpotent monoid that is not finitely related. To our knowledge, this is the first example of a finitely related semigroup where adjoining an identity yields a semigroup which is not finitely related. We also provide examples of finitely related semigroups which have subsemigroups, homomorphic images, and in particular Rees quotients, that are not finitely related.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139762334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-02-07DOI: 10.1007/s00012-024-00842-y
Abstract
C. Greene introduced the shuffle lattice as an idealized model for DNA mutation and discovered remarkable combinatorial and enumerative properties of this structure. We attempt an explanation of these properties from a lattice-theoretic point of view. To that end, we introduce and study an order extension of the shuffle lattice, the bubble lattice. We characterize the bubble lattice both locally (via certain transformations of shuffle words) and globally (using a notion of inversion set). We then prove that the bubble lattice is extremal and constructable by interval doublings. Lastly, we prove that our bubble lattice is a generalization of the Hochschild lattice studied earlier by Chapoton, Combe and the second author.
摘要 C. 格林引入了洗牌晶格作为 DNA 变异的理想化模型,并发现了这种结构的显著组合和枚举特性。我们试图从网格理论的角度来解释这些特性。为此,我们引入并研究了洗牌晶格的阶次扩展--气泡晶格。我们从局部(通过洗牌词的某些变换)和全局(使用反转集的概念)两方面描述了气泡网格的特征。然后,我们证明气泡网格是极值网格,可以通过区间倍增来构造。最后,我们证明我们的气泡网格是查波顿、康贝和第二作者早先研究的霍赫希尔德网格的广义化。
{"title":"Bubble lattices I: Structure","authors":"","doi":"10.1007/s00012-024-00842-y","DOIUrl":"https://doi.org/10.1007/s00012-024-00842-y","url":null,"abstract":"<h3>Abstract</h3> <p>C. Greene introduced the shuffle lattice as an idealized model for DNA mutation and discovered remarkable combinatorial and enumerative properties of this structure. We attempt an explanation of these properties from a lattice-theoretic point of view. To that end, we introduce and study an order extension of the shuffle lattice, the <em>bubble lattice</em>. We characterize the bubble lattice both locally (via certain transformations of shuffle words) and globally (using a notion of inversion set). We then prove that the bubble lattice is extremal and constructable by interval doublings. Lastly, we prove that our bubble lattice is a generalization of the Hochschild lattice studied earlier by Chapoton, Combe and the second author.</p>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139762448","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-12DOI: 10.1007/s00012-023-00840-6
Ralph Freese, Paolo Lipparini
We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.
我们证明,对于一大类代数变体,其成员全等网格的等式理论并不是有限的。
{"title":"Finitely based congruence varieties","authors":"Ralph Freese, Paolo Lipparini","doi":"10.1007/s00012-023-00840-6","DOIUrl":"10.1007/s00012-023-00840-6","url":null,"abstract":"<div><p>We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139458712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-09DOI: 10.1007/s00012-023-00837-1
J. J. Wannenburg, J. G. Raftery
A representation theorem is proved for De Morgan monoids that are (i) semilinear, i.e., subdirect products of totally ordered algebras, and (ii) negatively generated, i.e., generated by lower bounds of the neutral element. Using this theorem, we prove that the De Morgan monoids satisfying (i) and (ii) form a variety—in fact, a locally finite variety. We then prove that epimorphisms are surjective in every variety of negatively generated semilinear De Morgan monoids. In the process, epimorphism-surjectivity is established for several other classes as well, including the variety of all semilinear idempotent commutative residuated lattices and all varieties of negatively generated semilinear Dunn monoids. The results settle natural questions about Beth-style definability for a range of substructural logics.
我们证明了德摩根单元的表示定理:(i) 半线性,即完全有序代数的子直积;(ii) 负生成,即由中性元素的下界生成。利用这个定理,我们证明了满足 (i) 和 (ii) 的 De Morgan 单元构成了一个变式--事实上是一个局部有限变式。然后,我们证明在负生成的半线性 De Morgan 单元的每一个变种中,外形变都是可射的。在此过程中,我们还建立了其他几类的外形射性,包括所有半线性幂交换残差格的变种和所有负生成半线性邓恩单体的变种。这些结果解决了关于一系列子结构逻辑的贝思式可定义性的自然问题。
{"title":"Semilinear De Morgan monoids and epimorphisms","authors":"J. J. Wannenburg, J. G. Raftery","doi":"10.1007/s00012-023-00837-1","DOIUrl":"10.1007/s00012-023-00837-1","url":null,"abstract":"<div><p>A representation theorem is proved for De Morgan monoids that are (i) <i>semilinear</i>, i.e., subdirect products of totally ordered algebras, and (ii) <i>negatively generated</i>, i.e., generated by lower bounds of the neutral element. Using this theorem, we prove that the De Morgan monoids satisfying (i) and (ii) form a variety—in fact, a locally finite variety. We then prove that epimorphisms are surjective in every variety of negatively generated semilinear De Morgan monoids. In the process, epimorphism-surjectivity is established for several other classes as well, including the variety of all semilinear idempotent commutative residuated lattices and all varieties of negatively generated semilinear Dunn monoids. The results settle natural questions about Beth-style definability for a range of substructural logics.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00837-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139414180","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}