Canonical Relativized Cylindric Set Algebras and Weak Associativity

Abstract

Canonical relativized cylindric set algebras are used to sharpen the relative representation theorem for weakly associative relation algebras, that every complete atomic weakly associative relation algebra is isomorphic with the relativization of a set relation algebra to a symmetric and reflexive binary relation, by insuring that the atoms of the set relation algebra and its relativization are orbits of single sequences under a group of permutations of the underlying set. This sharpening of the relative representation theorem was first proved for the Resek-Thompson Theorem in 1989.