论文标题
关系代数的一些降低的有限代表属性
The finite representation property for some reducts of relation algebras
论文作者
论文摘要
在本文中,我们表明,一类代表的残留的半群具有有限的代表属性。也就是说,每个有限代表的残留的分数在有限的基础上对某些代数都是同构的。该结果为问题提供了积极的解决方案19.17来自Hirsch和Hodkinson \ cite {Hirsch2002Relation}的专着。
In this paper, we show that the class of representable residuated semigroups has the finite representation property. That is, every finite representable residuated semigroup is isomorphic to some algebra over a finite base. This result gives a positive solution to Problem 19.17 from the monograph by Hirsch and Hodkinson \cite{hirsch2002relation}.