The equational theory of union-free algebras of relations (Q1894553)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The equational theory of union-free algebras of relations |
scientific article; zbMATH DE number 780795
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The equational theory of union-free algebras of relations |
scientific article; zbMATH DE number 780795 |
Statements
The equational theory of union-free algebras of relations (English)
0 references
31 July 1995
0 references
Let \(\mathcal P\), \(\mathcal R\) be the classes of algebras isomorphic to positive, subpositive (no \(\cap\)) set relation algebras, respectively. The authors show that the equational theories of \(\mathcal P\), \(\mathcal R\) are decidable and that \(\mathcal R\) is not a variety.
0 references
set relation algebras
0 references
