Connections between Relation Algebras and Cylindric Algebras

摘要

We give an informal description of a recursive representability-preserving reduction of relation algebras to cylindric algebras.