Semilinear De Morgan monoids and epimorphisms
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F24%3A00603653" target="_blank" >RIV/67985807:_____/24:00603653 - isvavai.cz</a>
Výsledek na webu
<a href="https://doi.org/10.1007/s00012-023-00837-1" target="_blank" >https://doi.org/10.1007/s00012-023-00837-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00012-023-00837-1" target="_blank" >10.1007/s00012-023-00837-1</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Semilinear De Morgan monoids and epimorphisms
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Semilinear De Morgan monoids and epimorphisms
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/EF18_053%2F0017594" target="_blank" >EF18_053/0017594: Podpora internacionalizace Ústavu informatiky AV ČR, v.v.i</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2024
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Algebra Universalis
ISSN
0002-5240
e-ISSN
1420-8911
Svazek periodika
85
Číslo periodika v rámci svazku
1
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
34
Strana od-do
10
Kód UT WoS článku
001138568500001
EID výsledku v databázi Scopus
2-s2.0-85181652531