Axiomatizability of positive algebras of binary relations

DOI10.1007/s00012-011-0142-3zbMath1253.03091MaRDI QIDQ647324

Szabolcs Mikulás, Hajnalka Andréka

Publication date: 23 November 2011

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-011-0142-3

zbMATH Keywords

equational theory; finite axiomatizability; positive operations; quasi-equational theory; representable relation algebras

Mathematics Subject Classification ID

06F05: Ordered semigroups and monoids

03C05: Equational classes, universal algebra in model theory

03G15: Cylindric and polyadic algebras; relation algebras

Related Items

Unnamed Item, Stone Relation Algebras, The equational theory of Kleene lattices, On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection, Verifying minimum spanning tree algorithms with Stone relation algebras, On algebras of binary relations with conjunctive operations, On Jónsson's problem for groupoids of relations with operation of binary cylindrification, On varieties of groupoids of relations with operation of binary cylindrification., Monoids with tests and the algebra of possibly non-halting programs, On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation, Lower semilattice-ordered residuated semigroups and substructural logics, Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equational properties of Kleene algebras of relations with conversion
• Relation algebras by games
• Relation algebras
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Algebraization of quantifier logics, an introductory overview
• Lambek calculus and its relational semantics: Completeness and incompleteness
• A completeness theorem for Kleene algebras and the algebra of regular events
• The equational theory of union-free algebras of relations
• Equational theory of relation algebras with positive operations
• Adjoining units to residuated Boolean algebras
• Axiomatization of identity-free equations valid in relation algebras
• The variety of Kleene algebras with conversion is not finitely based
• Arguesian lattices which are not type-1
• Representations of distributive lattice-ordered semigroups with binary relations
• Representable semilattice-ordered monoids
• On representable relation algebras
• POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
• Representations of ordered semigroups and lattices by binary relations
• The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable