Relation algebras: Concept of points and representability (Q1063597)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3918364
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Relation algebras: Concept of points and representability |
scientific article; zbMATH DE number 3918364 |
Statements
Relation algebras: Concept of points and representability (English)
0 references
1985
0 references
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 Jónsson, Maddux and Tarski. Some historical remarks are inserted and an extended bibliography is added.
0 references
axiomatization
0 references
right ideals
0 references
graphs
0 references
programs
0 references
insertion
0 references
representation theorem
0 references
0 references
0.8972771
0 references
0 references
0.8828192
0 references
0 references
