Relation algebras from cylindric algebra
β
Robin Hirsch; Ian Hodkinson
π
Article
π
2001
π
Elsevier Science
π
English
β 338 KB
We characterise the class SRaCAn of subalgebras of relation algebra reducts of n-dimensional cylindric algebras (for ΓΏnite nΒΏ5) by the notion of a 'hyperbasis', analogous to the cylindric basis of Maddux, and by relativised representations. We outline a game-theoretic approximation to the existence