The equational theory of union-free algebras of relations
From MaRDI portal
Publication:1894553
DOI10.1007/BF01225472zbMath0826.03013OpenAlexW1993804761MaRDI QIDQ1894553
Dmitry Aleksandrovich Bredikhin, Hajnalka Andréka
Publication date: 31 July 1995
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01225472
Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
On partially ordered semigroups of relations with domino operations. ⋮ Algorithms for Kleene algebra with converse ⋮ Expressive power and succinctness of the positive calculus of binary relations ⋮ Unnamed Item ⋮ On quasi-identities of relation algebras with Diophantine operations ⋮ Simple involutive quantales ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ Unnamed Item ⋮ Presenting basic graph logic ⋮ Expressive Power and Succinctness of the Positive Calculus of Relations ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ О базисах тождеств многообразий группоидов отношений ⋮ The class of representable semilattice-ordered monoids is not a variety ⋮ On algebras of relations with operations of left and right reflexive product ⋮ Axiomatizability of positive algebras of binary relations ⋮ On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ The equational theory of Kleene lattices ⋮ On canonicity and completions of weakly representable relation algebras ⋮ Domain and range for angelic and demonic compositions ⋮ Undecidability of representability as binary relations ⋮ Completeness for Identity-free Kleene Lattices ⋮ On varieties of groupoids of relations with operation of binary cylindrification. ⋮ Unnamed Item ⋮ Normal forms for binary relations ⋮ Identities of groupoids of relations with operation of cylindered intersection ⋮ On algebras of binary relations with conjunctive operations ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ Unnamed Item ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ On groupoids of relations with one conjunctive operation of rank 2 ⋮ Reversible Kleene lattices ⋮ On identities of relation algebras with domino operations.
Cites Work
- Equational theory of relation algebras with positive operations
- A remark of representable positive cylindric algebras
- Representations of distributive lattice-ordered semigroups with binary relations
- Relation algebras and function semigroups
- Solvable cases of the decision problem
- Representation of involuted semigroups by binary relations
- Representations of ordered semigroups and lattices by binary relations
- Arguesian lattices which are not linear
- Unnamed Item
- Unnamed Item
- Unnamed Item
