Ordered domain algebras

DOI10.1016/J.JAL.2013.04.002zbMath1284.03275OpenAlexW2007699150MaRDI QIDQ2446547

Szabolcs Mikulás, Robin Hirschl

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.04.002

zbMATH Keywords

relationdomain algebrafinite axiomatisationfinite representationCayley representation

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (9)

Finite representability of semigroups with demonic refinement ⋮ Reducts of relation algebras: the aspects of axiomatisability and finite representability ⋮ Axioms for signatures with domain and demonic composition ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ On algebras of binary relations with conjunctive operations ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ 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

Cites Work

• Unnamed Item
• Axiomatizability of representable domain algebras
• Internal axioms for domain semirings
• Domain and Antidomain Semigroups
• Representation of involuted semigroups by binary relations
• Domain Axioms for a Family of Near-Semirings

This page was built for publication: Ordered domain algebras