Finite, integral, and finite-dimensional relation algebras: A brief history (Q598305)

The topics covered by the paper are: (1) the early history: axiomatisation of relation algebras and comparison of the calculus of relations with finite-variable logics, (2) finite-dimensional and representable relation algebras, connections between them, (3) integral non-representable relation algebras with a finite number of atoms. More than 20 important results are not only presented here, but are also put in the historical context. Proofs are omitted; however, all essential references are given. This concise and informative survey can be recommended to any reader interested in the listed subjects.