Connections between cylindric algebras and relation algebras

Robin Hirsch and Ian Hodkinson

A short summary of our work on approximations to S Ra CAn - relational bases, cylindric bases,  hyperbases etc.  Summarises some of the work from "Relation algebras with n-dimensional bases",  "On the number of variables required for proofs", "Relation algebras from cylindric algebras, I" and "Relation algebras from cylindric algebras, II" .

Postscript file