Pre-hyperidentities generalize the concept of a hyperidentity. A variety is said to be pre-solid if every identity in is a pre-hyperidentity. Every solid variety is pre-solid. We consider pre-solid varieties of semigroups which are not solid, determine the smallest and the largest of them, and some elements in this interval.
Generalized hypersubstitutions are mappings from the set of all fundamental operations into the set of all terms of the same language do not necessarily preserve the arities. Strong hyperidentities are identities which are closed under the generalized hypersubstitutions and a strongly solid variety is a variety which every its identity is a strong hyperidentity. In this paper we give an example of pre-strongly solid varieties of commutative semigroups and determine the least and the greatest pre-strongly...
The concept of a relatively pseudocomplemented directoid was introduced recently by the first author. It was shown that the class of relatively pseudocomplemented directoids forms a variety whose axiom system contains seven identities. The aim of this paper is three-fold. First we show that these identities are not independent and their independent subset is presented. Second, we modify the adjointness property known for relatively pseudocomplemented semilattices in the way which is suitable for...
We prove that finite flat digraph algebras and, more generally, finite compatible flat algebras satisfying a certain condition are finitely -based (possess a finite basis for their quasiequations). We also exhibit an example of a twelve-element compatible flat algebra that is not finitely -based.
Two properties of the lattice of quasivarieties of pseudocomplemented semilattices are established, namely, in the quasivariety generated by the 3-element chain, there is a sublattice freely generated by ω elements and there are quasivarieties.