Pointlike sets with respect to ER
Karsten Henckell, Samuel Herman · arXiv (Cornell University) · 2022
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.