Relation algebras: Concept of points and representability

Abstract In the axiomatization of relation algebras by Chin and Tarski certain elements are called right 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 Jonsson, Maddux and Tarski. Some historical remarks are inserted and an extended bibliography is added.

[1]  Irving M. Copilowish.  Matrix Development of the Calculus of Relations , 1948, J. Symb. Log..

[2]  Frank Harary.  On Complete Atomic Proper Relation Algebras , 1950, J. Symb. Log..

[3]  Leopold Löwenheim.  Über Möglichkeiten im Relativkalkül , 1915 .

[4]  Gunther Schmidt,et al.  Programs as Partial Graphs I: Flow Equivalence and Correctness , 1981, Theor. Comput. Sci..

[5]  J. Riguet,et al.  Relations binaires, fermetures, correspondances de Galois , 1948 .

[6]  Alexander R. Bednarek,et al.  Projective algebra and the calculus of relations , 1978, Journal of Symbolic Logic.

[7]  R. Luce.  A note on Boolean matrix theory , 1952 .

[8]  Paul Lorenzen,et al.  Über die Korrespondenzen einer Struktur , 1954 .

[9]  Roger D. Maddux.  Embedding modular lattices into relation algebras , 1981 .

[10]  D. Monk.  On representable relation algebras. , 1964 .

[11]  Willem P. de Roever,et al.  A Calculus for Recursive Program Schemes , 1972, ICALP.

[12]  Yehoshafat Give'on,et al.  Lattice Matrices , 1964, Inf. Control..

[13]  Chris Brink.  The algebra of relatives , 1979, Notre Dame J. Formal Log..

[14]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[15]  Hyman Kamel,et al.  Relational Algebra and Uniform Spaces , 1954 .

[16]  Thomas Ströhlein,et al.  A Boolean matrix iteration in timetable construction , 1976 .

[17]  Bjarni Jónsson,et al.  Representation of modular lattices and of relation algebras , 1959 .

[18]  Katuzi Ono.  On some properties of binary relations , 1957 .

[19]  J. Donald Monk,et al.  Completions of BOOLEAN Algebras with operators , 1970 .

[20]  Alexander R. Bednarek,et al.  Some Remarks on Relational Composition in Computational Theory and Practice , 1977, FCT.

[21]  M. Stone.  The theory of representations for Boolean algebras , 1936 .

[22]  H. Ribeiro,et al.  A Remark on Boolean Algebras with Operators , 1952 .

[23]  R. McKenzie.  Representations of integral relation algebras. , 1970 .

[24]  S. M. Ulam,et al.  Generators for algebras of relations , 1976 .

[25]  Boleslaw Sobocinski.  Equational two axiom bases for Boolean algebras and some other lattice theories , 1979, Notre Dame J. Formal Log..

[26]  R. C. Lyndon.  Relation algebras and projective geometries. , 1961 .

[27]  Alfred Tarski,et al.  Distributive and Modular Laws in the Arithmetic of Relation Algebras , 1953 .

[28]  J. McKinsey,et al.  On the Representation of Projective Algebras , 1948 .

[29]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[30]  R. Lyndon.  THE REPRESENTATION OF RELATION ALGEBRAS, II , 1956 .

[31]  Jan Kalicki,et al.  Equational Completeness of Abstract Algebras , 1955 .

[32]  E. V. Huntington.  Sets of independent postulates for the algebra of logic , 1904 .

[33]  C. J. Everett,et al.  Projective Algebra I , 1946 .

[34]  A. Tarski,et al.  Cylindric Set Algebras , 1981 .

[35]  R. Lyndon.  THE REPRESENTATION OF RELATIONAL ALGEBRAS , 1950 .

[36]  E. V. Huntington.  Boolean algebra. A correction to: “New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia mathematica” [Trans. Amer. Math. Soc. 35 (1933), no. 1, 274–304; 1501684] , 1933 .

[37]  E. V. Huntington.  A New Set of Independent Postulates for the Algebra of Logic with Special Reference to Whitehead and Russell's Principia Mathematica. , 1932, Proceedings of the National Academy of Sciences of the United States of America.

[38]  H. Gericke,et al.  Theorie der Verbände , 1963 .

[39]  Roger D. Maddux,et al.  Some sufficient conditions for the representability of relation algebras , 1978 .

[40]  A. Tarski.  Contributions to the theory of models. III , 1954 .

[41]  Hilla Peretz,et al.  The , 1966 .

[42]  Chris Brink.  Two axiom systems for relation algebras , 1979, Notre Dame J. Formal Log..

[43]  Wolfgang Schönfeld.  An Undecidability Result for Relation Algebras , 1979, J. Symb. Log..

[44]  Emily Michael.  A note on Peirce on Boole's algebra of logic , 1979, Notre Dame J. Formal Log..

[45]  J. C. C. McKinsey.  Postulates for the Calculus of Binary Relations , 1940, J. Symb. Log..

[46]  Alfred Tarski,et al.  Equationally Complete Rings and Relation Algebras , 1956 .