On complete representations of algebras of logic
Mohamed Khaled, Tarek Sayed-Ahmed · Logic Journal of IGPL · 2009
We show that there exists an atomic polyadic equality algebra of dimension n that is elementary equivalent to a completely representable algebra, but its diagonal free reduct (obtained by deleting diagonals and substitutions) is not completely representable.