On canonical relativized set relation and cylindric set algebras

Canonical relativized cylindric set algebras and set relation algebras are used to prove that every complete atomic weakly associative relation algebra is isomorphic to the relativization of a set relation algebra to a symmetric and reflexive binary relation.Comment: 26 pages, submitted 7 July 2018 to Outstanding Contributions to Logic series of Springe