441be0ea0b561b5e.tex
1: \begin{abstract}
2: %
3: We show that pointlike sets are decidable for the pseudovariety of finite semigroups whose idempotent-generated subsemigroup is ${\mathcal R}$-trivial. 
4: %
5: Notably, our proof is constructive: we provide an explicit relational morphism which computes the ${\mathbf{ER}}$-pointlike subsets of a given finite semigroup.
6: %
7: \end{abstract}
8: