The equational theory of union-free algebras of relations
type: Item
instance of: scholarly article
title: The equational theory of union-free algebras of relations
zbMATH Open document ID: 0826.03013
DOI: 10.1007/BF01225472
published in: Algebra Universalis
publication date: 1995-07-31T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 780795
zbMATH Keywords: set relation algebras
author: Hajnal Andréka
author: D. A. Bredikhin
reviewed by: Gudrun Kalmbach
MaRDI profile type: Publication
cites work: Solvable cases of the decision problem
cites work: Representations of distributive lattice-ordered semigroups with binary relations
cites work: Q4011711
cites work: On the variety generated by partially ordered involuted semigroups of binary relations
cites work: Equational theory of relation algebras with positive operations
cites work: Representations of ordered semigroups and lattices by binary relations
cites work: A remark of representable positive cylindric algebras
cites work: Arguesian lattices which are not linear
cites work: Relation algebras and function semigroups
cites work: Representation of involuted semigroups by binary relations
cites work: Q4040000
full work available at URL: https://doi.org/10.1007/bf01225472
OpenAlex ID: W1993804761
description: scientific article; zbMATH DE number 780795