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 条

[1] FINITE EMBEDDABILITY PROPERTY FOR RESIDUATED GROUPOIDS
Farulewski, Maciej
[J]. REPORTS ON MATHEMATICAL LOGIC, NO 43, 2008, (43): : 25 - 42
[2] The finite embeddability property for residuated groupoids
Hanikova, Zuzana
Horcik, Rostislav
[J]. ALGEBRA UNIVERSALIS, 2014, 72 (01) : 1 - 13
[3] On the finite embeddability property for residuated ordered groupoids
Blok, WJ
Van Alten, CJ
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 357 (10) : 4141 - 4157
[4] Completion and finite embeddability property for residuated ordered algebras.
C. J. van Alten
[J]. Algebra universalis, 2009, 62 : 419 - 451
[5] Completion and finite embeddability property for residuated ordered algebras.
van Alten, C. J.
[J]. ALGEBRA UNIVERSALIS, 2009, 62 (04) : 419 - 451
[6] The finite embeddability property for residuated lattices, pocrims and BCK-algebras
W. J. Blok
C. J. Van Alten
[J]. algebra universalis, 2002, 48 : 253 - 271
[7] The finite embeddability property for residuated lattices, pocrims and BCK-algebras
Blok, WJ
van Alten, CJ
[J]. ALGEBRA UNIVERSALIS, 2002, 48 (03) : 253 - 271
[8] On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
Blok, WJ
van Alten, CJ
[J]. REPORTS ON MATHEMATICAL LOGIC, NO 34, 2000, (34): : 159 - 165
[9] The finite embeddability property for IP loops and local embeddability of groups into finite IP loops
Vodicka, Martin
Zlatos, Pavol
[J]. ARS MATHEMATICA CONTEMPORANEA, 2019, 17 (02) : 535 - 554
[10] DISTRIBUTIVE GROUPOIDS AND THE FINITE BASIS PROPERTY
KEPKA, T
NEMEC, P
[J]. JOURNAL OF ALGEBRA, 1981, 70 (01) : 229 - 237

← 1 2 3 4 5 →