scientific article; zbMATH DE number 67045

MaRDI QIDQ4011733zbMATH OpenFDO

Authors Boris M. Schein

Publication date 27 September 1992

zbMATH Keywords

representabilitysubreducts of relation set algebrassurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Axiomatizability of reducts of algebras of relations
• scientific article; zbMATH DE number 1431713
• scientific article; zbMATH DE number 67033
• Weakly representable but not representable relation algebras
• On some developments in the representation theory of cylindric-like algebras

Cited in

(22)

• On taking subalgebras of relativized relation algebras
• Algebraization of quantifier logics, an introductory overview
• On quasi-identities of relation algebras with Diophantine operations
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Submonoids of groups, and group-representability of restricted relation algebras
• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
• Axiomatizability of reducts of algebras of relations
• On algebras of binary relations with conjunctive operations
• On groupoids of relations with one conjunctive operation of rank 2
• 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.
• On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• Nonrepresentable relation algebras generated by functional elements
• Reasoning with graphs
• scientific article; zbMATH DE number 1431713 (Why is no real title available?)
• On the variety generated by generalized subreducts of Tarski's algebras of relations
• Axiomatizability of representable domain algebras
• Axiomatizability of positive algebras of binary relations
• On groupoids associated with involution semigroups
• Minimal signatures with undecidability of representability by binary relations
• On graph reasoning

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 Q4011733)