On conditionally rational-equivalent discriminator varieties (Q1589086)

The definition of two classes of universal algebras being conditionally equivalent is, unfortunately, too technical to be given here. The main result of this paper shows that two locally finite discriminator varieties are conditionally rationally equivalent if and only if they are rationally equivalent, if and only if their classes of subdirectly indecomposable algebras are rationally equivalent.