Axiomatising Various Classes of Relation and Cylindric Algebras
Robin Hirsch · Logic Journal of IGPL · 1997
We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras.