The finite embeddability property for residuated groupoids

被引：0
|
作者：
Zuzana Haniková
Rostislav Horčík
机构：
[1] Academy of Sciences of the Czech Republic,Institute of Computer Science
来源：
Algebra universalis | 2014年 / 72卷
关键词：
Primary: 06F99; Secondary: 06D75; 03G25; residuated groupoid; distributive lattice; finite embeddability property;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A very simple proof of the finite embeddability property for residuated distributive-lattice-ordered groupoids and some related classes of structures is presented. In particular, this gives an answer to the question, posed by Blok and van Alten, whether the class of residuated ordered groupoids has the property. The presented construction improves the computational-complexity upper bound of the universal theory of residuated distributive-lattice-ordered groupoids given by Buszkowski and Farulewski; for chains in the class, a tight bound is obtained.
引用
收藏
页码：1 / 13
页数：12
相关论文
共 50 条
  • [31] Finite Weyl groupoids
    Cuntz, Michael
    Heckenberger, Istvan
    [J]. JOURNAL FUR DIE REINE UND ANGEWANDTE MATHEMATIK, 2015, 702 : 77 - 108
  • [32] TOPOLOGICAL PROPERTY (T) FOR GROUPOIDS
    Dell'Aiera, Clement
    Willett, Rufus
    [J]. ANNALES DE L INSTITUT FOURIER, 2022, 72 (03) : 1097 - 1148
  • [33] ORTHOMODULAR LATTICES CAN BE CONVERTED INTO LEFT RESIDUATED L-GROUPOIDS
    Chajda, Ivan
    Laenger, Helmut
    [J]. MISKOLC MATHEMATICAL NOTES, 2017, 18 (02) : 685 - 689
  • [34] Counting finite residuated lattices
    Belohlavek, Radim
    Vychodil, Vilem
    [J]. FOUNDATIONS OF FUZZY LOGIC AND SOFT COMPUTING, PROCEEDINGS, 2007, 4529 : 461 - +
  • [35] On Strong Embeddability and Finite Decomposition Complexity
    Jun XIA
    Xian Jin WANG
    [J]. Acta Mathematica Sinica,English Series, 2017, (03) : 403 - 418
  • [36] On Strong Embeddability and Finite Decomposition Complexity
    Xia, Jun
    Wang, Xian Jin
    [J]. ACTA MATHEMATICA SINICA-ENGLISH SERIES, 2017, 33 (03) : 403 - 418
  • [37] Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
    Shkatov, Dmitry
    Van Alten, C. J.
    [J]. ALGEBRA UNIVERSALIS, 2019, 80 (03)
  • [38] Boolean lifting property for residuated lattices
    George Georgescu
    Claudia Mureşan
    [J]. Soft Computing, 2014, 18 : 2075 - 2089
  • [39] STRONG FINITE EMBEDDABILITY FOR CLASSES OF QUASIGROUPS
    CHAFFER, RA
    EGGEN, ML
    SMITH, DD
    STANDRE, RJ
    [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A3 - A3
  • [40] On Strong Embeddability and Finite Decomposition Complexity
    Jun XIA
    Xian Jin WANG
    [J]. ActaMathematicaSinica., 2017, 33 (03) - 418
12345