A short proof of representability of fork algebras

✍ Scribed by Viktor Gyuris

• Book ID: 104326247
• Publisher: Elsevier Science
• Year: 1997
• Tongue: English
• Weight: 752 KB
• Volume: 188
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/s0304-3975(96)00299-x

✦ Synopsis

In this paper a strong relationship is demonstrated between fork algebras and quasi-projective relation algebras. With the help of Tarski's classical representation theorem for quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras. As a by-product, we will discuss the difference between relative and absolute representation theorems.

' We will return to the issue of making this 'almost impossible' task possible at the end of this paper.

' The expression used in is "relation algebra with conjugated quasi-projections"

or "QRA".