On definability of the equality in classes of algebras with an equivalence relation

We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomically definable but not finitely atomically definable. © 2000 Kluwer Academic Publishers.