Ordered domain algebras

DOI10.1016/J.JAL.2013.04.002MaRDI QIDQ2446547zbMATH OpenOpenAlexFDO

Authors Szabolcs Mikulás, Robin Hirsch

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

Cayley representationdomain algebrafinite axiomatisationfinite representationrelation

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites work

• Axiomatizability of representable domain algebras
• Domain and antidomain semigroups
• Domain Axioms for a Family of Near-Semirings
• scientific article; zbMATH DE number 3611365 (Why is no real title available?)
• Internal axioms for domain semirings
• Representation of involuted semigroups by binary relations

Cited in

(14)

• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
• Order-independence algebras
• On algebras of binary relations with conjunctive operations
• On groupoids of relations with one conjunctive operation of rank 2
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• On Jónsson's problem for groupoids of relations with operation of binary cylindrification
• On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
• Axioms for signatures with domain and demonic composition
• ORDER ALGEBRAS
• scientific article; zbMATH DE number 750695 (Why is no real title available?)
• On the variety generated by generalized subreducts of Tarski's algebras of relations
• On groupoids associated with involution semigroups
• Minimal signatures with undecidability of representability by binary relations
• Finite representability of semigroups with demonic refinement

This page was built for publication: Ordered domain algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2446547)