Pointlike sets with respect to ER
From MaRDI portal
Abstract: 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.
This page was built for publication: Pointlike sets with respect to ER
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6396943)
