COMPLETE REDUCIBILITY OF PSEUDOVARIETIES
Jorge Almeida, José Carlos Costa, Marc Zeitoun · 2007
Abstract. The notion of reducibility for a pseudovariety has been introduced as an abstract property which may be used to prove decidability results for various pseudovariety constructions. This paper is a survey of recent results establishing this and the stronger property of complete reducibility for specific pseudovarieties. 1.