# Relation algebras: Concept of points and representability

@article{Schmidt1985RelationAC, title={Relation algebras: Concept of points and representability}, author={Gunther Schmidt and Thomas Str{\"o}hlein}, journal={Discrete Mathematics}, year={1985}, volume={54}, pages={83-92} }

- Published 1985 in Discrete Mathematics
DOI:10.1016/0012-365X(85)90064-0

In the axiomatization of relation algebras by Chin and Tarski certain elements are called fight ideals. Aiming at applications in the relational theory of graphs and programs, we call such ideals 'points' and investigate an additional point axiom. First we prove a point insertion theorem. Then a representation theorem for such relation algebras is deduced by inherently relational methods, simplifying the proof of a similar result from J6nsson, Maddux and Tarski. Some historical remarks are… CONTINUE READING

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

21 Extracted Citations

54 Extracted References

Similar Papers