A Note on Atom Structures of Relation
Tarek Sayed Ahmed · 2008
RRA stands for the class of representable relation algebras, while RCAn stands for the class of cylindric algebras of dimension n. We give a simple new proof to the following. 1. There exist two atomic relation algebras with the same atom structure, only one of which is representable.