The central result of this paper is that every pair-dense relation algebra is completely representable. A relation algebra is said to be pair-dense if every nonzero element below the identity contains ...
A relation algebra atom structure α is said to be strongly representable if all atomic relation algebras with that atom structure are representable. This is equivalent to saying that the complex ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback