scientific article; zbMATH DE number 3611365

MaRDI QIDQ4175285zbMATH OpenFDO

Authors D. A. Bredikhin

Publication date 1977

zbMATH Keywords

Classes of Algebras of Binary RelationsInvolutory SemigroupRelational ProductRepresentation of SemigroupsVarieties of Semigroups

Mathematics Subject Classification ID

Other classical set theory (including functions, relations, and set algebra) (03E20) Other algebras related to logic (03G25) Other classes of algebras (08C99) Varieties and pseudovarieties of semigroups (20M07) Representation of semigroups; actions of semigroups on sets (20M30) Semigroups in automata theory, linguistics, etc. (20M35)

Cited in

(8)

• Algebraization of quantifier logics, an introductory overview
• Domain and range for angelic and demonic compositions
• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
• Ordered domain algebras
• Axioms for signatures with domain and demonic composition
• Domain and range operations in semigroups and rings.
• Minimal signatures with undecidability of representability by binary relations
• Finite representability of semigroups with demonic refinement

This page was built for publication:

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