The pseudovariety $J$ is hyperdecidable

Abstract

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.