Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
复制标题
格序半群和有序补半群的表示性的不可判定性
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Murray Neuzerling
中科院分区：
文献类型：
--
作者：
Murray Neuzerling
证明了将有限有序补半群或有限格序半群表示为有限集合上二元关系代数的问题是不可定的。在对全称关系取补的情况下，这个结果可以推广到有序补半群的无限表示。
We prove that the problems of representing a finite ordered complemented semigroup or finite lattice-ordered semigroup as an algebra of binary relations over a finite set are undecidable. In the case that complementation is taken with respect to a universal relation, this result can be extended to infinite representations of ordered complemented semigroups.