The Class of Representable Semilattice-Ordered Monoids Is Not a Variety

RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMICS 2021)（2021）

引用 0|浏览0

暂无评分

摘要

We show a necessary and a sufficient condition for a quasivariety to be a variety. Using this, we show that the quasivariety of representable relation algebras over the signature (center dot, boolean AND, 1) is not avariety.

查看译文

关键词

Relations, Homomorphisms, Equational theories

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要