Domain range semigroups and finite representations

DOI10.1007/978-3-030-88701-8_29MaRDI QIDQ2695374zbMATH OpenOpenAlexFDO

Authors Jaš Šemrl

Publication date 30 March 2023

Full work available at URL https://arxiv.org/abs/2106.02709

zbMATH Keywords

demonic compositiondomain-range semigroupsfinite representation property

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Axiomatizability of representable domain algebras
• Axioms for signatures with domain and demonic composition
• Domain and antidomain semigroups
• Domain and range for angelic and demonic compositions
• Finite representability of semigroups with demonic refinement
• scientific article; zbMATH DE number 3156400 (Why is no real title available?)
• Relation algebras by games
• Representations of ordered semigroups and lattices by binary relations
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups

Cited in

(2)

• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• Minimal signatures with undecidability of representability by binary relations

This page was built for publication: Domain range semigroups and finite representations

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