论文标题
关于ER的指数套件
Pointlike sets with respect to ER
论文作者
论文摘要
我们表明，对于有限的半群的伪动物，其伪装的semeneratenten odempotent生成的子群是r- trievial，这是可以决定的。值得注意的是，我们的证据是建设性的：我们提供了一种显式的关系形态，该形态计算给定有限半群的ER点样子集。
We show that pointlike sets are decidable for the pseudovariety of finite semigroups whose idempotent-generated subsemigroup is R-trivial. Notably, our proof is constructive: we provide an explicit relational morphism which computes the ER-pointlike subsets of a given finite semigroup.
