On the number of polynomials of a universal algebra, II
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 .
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...
Certain ring-like structures, so-called orthorings, are introduced which are in a natural one-to-one correspondence with lattices with 0 every principal ideal of which is an ortholattice. This correspondence generalizes the well-known bijection between Boolean rings and Boolean algebras. It turns out that orthorings have nice congruence and ideal properties.
We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property Boolean completeness. It is a generalization of functional completeness, and is intimately connected to the computational complexity of various questions about expressions, circuits, and equations defined over the loop. We say that a loop is polyabelian if it is an iterated affine quasidirect product of Abelian groups; polyabelianness...