Prefer a chat interface with context about you and your work?
The pseudovariety $J$ is hyperdecidable
This article defines the notion of hyperdecidability for a class offinlte semigroups, which is closely connected to the notion of decidability.It then proves that the pseudovariety J of J-trivial semigroups is hyperdecidable.