Relation algebras and function semigroups

DOI10.1007/BF02573019zbMath0197.29404MaRDI QIDQ2539869

Boris M. Schein

Publication date: 1970

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/133777

zbMATH Keywords

generalized groups, semigroups

Related Items

On partially ordered semigroups of relations with domino operations. ⋮ Domain and Range Operations in Semigroups and Rings ⋮ Difference-restriction algebras of partial functions with operators: discrete duality and completion ⋮ The equational theory of union-free algebras of relations ⋮ On quasi-identities of relation algebras with Diophantine operations ⋮ Free \(n\)-tuple semigroups ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Difference semigroups ⋮ Axioms for signatures with domain and demonic composition ⋮ Algebras of multiplace functions for signatures containing antidomain ⋮ Unnamed Item ⋮ On the variety generated by generalized subreducts of Tarski's algebras of relations ⋮ Semigroup actions on posets and preimage quasi-orders ⋮ Structure of relatively free n-tuple semigroups ⋮ О базисах тождеств многообразий группоидов отношений ⋮ Fundamental order relations on inverse semigroups and on their generalizations ⋮ Proper two-sided restriction semigroups and partial actions. ⋮ Actions and partial actions of inductive constellations. ⋮ The algebra of functions with antidomain and range ⋮ On algebras of relations with operations of left and right reflexive product ⋮ Modification tolerance of fuzzy-state automata ⋮ Axioms for function semigroups with agreement quasi-order. ⋮ Rings with kernel inclusion quasiorder. ⋮ On Jónsson's problem for groupoids of relations with operation of binary cylindrification ⋮ Generalized heaps, inverse semigroups and Morita equivalence. ⋮ Identities of semigroups of relations with an operator of reflexive double cylindrification ⋮ On Semigroups of Relations with the Operation of Left and Right Rectangular Products ⋮ Semigroups and ordered categories. I: The reduced case ⋮ On the history of the term semigroup ⋮ Undecidability of representability as binary relations ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Reasoning with Graphs ⋮ Multigroups ⋮ Multigroups ⋮ On varieties of groupoids of relations with operation of binary cylindrification. ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ The class of sublattices of normal subgroup lattices is not elementary ⋮ Ehresmann theory and partition monoids ⋮ The completeness problem in partial hyperclones ⋮ Characteristics of multiplace function \(\mathcal P\)-algebras ⋮ Embedding and unsolvability theorems for modular lattices ⋮ Universal Horn axiom systems for lattices of submodules ⋮ Identities of groupoids of relations with operation of cylindered intersection ⋮ On algebras of binary relations with conjunctive operations ⋮ On graph reasoning ⋮ Algebras of multiplace functions ⋮ On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection ⋮ S-sets and semigroups of quotients ⋮ Relatively inherently nonfinitely q-based semigroups ⋮ Boolean and classical restriction categories ⋮ Groups with fix-set quasi-order ⋮ On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation ⋮ THE FREE AMPLE MONOID ⋮ Théorie des classes dans un demigroupe involutif ⋮ PARTIAL ACTIONS OF INVERSE AND WEAKLY LEFT E-AMPLE SEMIGROUPS ⋮ Partial Maps with Domain and Range: Extending Schein's Representation ⋮ Restriction Semigroups and Inductive Constellations ⋮ A representation theorem for lattices ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS ⋮ On the Representation of Lattices by Modules ⋮ On groupoids of relations with one conjunctive operation of rank 2 ⋮ Unnamed Item ⋮ SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS ⋮ Combinatorial properties of binary semigroups ⋮ Boolean-rank-preserving operators and Boolean-rank-1 spaces ⋮ IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS ⋮ Representation of inverse semigroups by local automorphisms and multi- automorphisms of groups and rings ⋮ On identities of relation algebras with domino operations.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The representation of relation algebras. II
• Contribution à la théorie des anneaux et des demi-groupes
• The algebra of functions
• The algebra of functions. II
• On the formal definition of categories
• On \(\mathrm\text{ Ш}\)-rigidity of groups of order \(p^6\).
• A composition algebra for multiplace functions
• Ultraproducts in the theory of models
• The algebra of functions. III
• Function systems
• The representation of relational algebras
• The algebra of topology
• On closed elements in closure algebras
• The Brauer-Manin Obstruction and III[2]
• A generalization of the concept ofω-completeness
• Representation of Modular Lattices and Of Relation Algebras
• Reduced direct products
• Linearly fundamentally ordered semigroups
• The Theory of Representation for Boolean Algebras
• On the calculus of relations
• Relations binaires, fermetures, correspondances de Galois
• On the Representation of Projective Algebras
• The Immersibility of a Semigroup into a Group
• Boolean Algebras with Operators. Part I
• Équivalences régulières dans un ensemble ordonné
• Complemented Modular Lattices and Projective Spaces of Infinite Dimension
• Projective Algebra I
• On the extending of models (I)