Even harder pseudovariety membership problem

Marcel Jackson

We present a finite semigroup whose pseudovariety has membership problem hard for the class \emph{Difference P}