On varieties of regular -semigroups
On varieties of regular -semigroups, II
On von Neumann varieties.
On weak Agassiz systems of algebras
On weak automorphisms of algebras having a basis
On weak automorphisms of quasi-linear algebras
On weakly rigid monounary algebras
On -algebras
One interval in the lattice of partial hyperclones
In this paper the structure of the interval in the lattice of partial hyperclones is determined, where is the clone of all total operations and is the clone of all partial hyperoperations on .
One More Categorical Model of Universal Algebra.
One simple result concerning imprimitivity relations of monoids of transformations and its applications.
One-element extensions in the variety generated by tournaments
We investigate congruences in one-element extensions of algebras in the variety generated by tournaments.
One-element extensions of distributive groupoids
One-generated clones of operations on binary relations
Operads and algebraic geometry.
Operations, homomorphism and update versus relational database systems
Operators and products in the lattice of existence varieties of regular semigroups.
Optimal natural dualities for some quasivarities of distributive double -algebras.
Order affine completeness of lattices with Boolean congruence lattices
This paper grew out from attempts to determine which modular lattices of finite height are locally order affine complete. A surprising discovery was that one can go quite far without assuming the modularity itself. The only thing which matters is that the congruence lattice is finite Boolean. The local order affine completeness problem of such lattices easily reduces to the case when is a subdirect product of two simple lattices and . Our main result claims that such a lattice is locally...
Orthocomplemented difference lattices with few generators
The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics, notably with the field of artificial intelligence (see, e. g., [19, 20]). Recently an effort has been exercised to advance with logics that possess a symmetric difference ([13, 14]) - with so called orthocomplemented difference lattices (ODLs). This paper further contributes to this effort. In [13] the author constructs an ODL that is not set-representable. This example is quite elaborate. A main result...