Bases for pseudovarieties closed under bideterministic product

Alfredo Costa, Ana Escada

We show that if $\mathsf{V}$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf{DS}$, then it has a basis of pseudoidentities between finite…