On a conjecture of Rhodes.
On a theorem of Šutov.
On automorphisms of the lattice of quasivarieties of lattice-ordered groups
On covarieties of coalgebras
On Levi quasivarieties generated by nilpotent groups.
On quasivarieties of nilpotent Moufang loops. I
In this part the smallest non-abelian quasivarieties for nilpotent Moufang loops are described.
On quasivarieties of nilpotent Moufang loops. II
In this part of the paper we study the quasiidentities of the nilpotent Moufang loops. In particular, we solve the problem of finite basis for quasiidentities in the finitely generated nilpotent Moufang loop.
On quasivarieties of partial algebras, their generation and their subquasivarieties. I
On quasivarieties of partial algebras, their generation and their subquasivarieties II
On reductive and distributive algebras
The paper investigates idempotent, reductive, and distributive groupoids, and more generally -algebras of any type including the structure of such groupoids as reducts. In particular, any such algebra can be built up from algebras with a left zero groupoid operation. It is also shown that any two varieties of left -step reductive -algebras, and of right -step reductive -algebras, are independent for any positive integers and . This gives a structural description of algebras in the join of...
On regular implicit operations
On synchronized relatively full embeddings and -universality
On the lattices of quasivarieties of differential groupoids
The main result of Romanowska A., Roszkowska B., On some groupoid modes, Demonstratio Math. 20 (1987), no. 1–2, 277–290, provides us with an explicit description of the lattice of varieties of differential groupoids. In the present article, we show that this variety is -universal, which means that there is no convenient explicit description for the lattice of quasivarieties of differential groupoids. We also find an example of a subvariety of differential groupoids with a finite number of subquasivarieties....
On the membership problem for pseudo-varieties of commutative semigroups.
On the power semigroup of a finite semigroup
On the quasivarieties generated by finite semigroups.
On universality of semigroup varieties
A category is called -determined if every set of non-isomorphic -objects such that their endomorphism monoids are isomorphic has a cardinality less than . A quasivariety is called -universal if the lattice of all subquasivarieties of any quasivariety of finite type is a homomorphic image of a sublattice of the lattice of all subquasivarieties of . We say that a variety is var-relatively alg-universal if there exists a proper subvariety of such that homomorphisms of whose image does...
Optimal natural dualities for some quasivarities of distributive double -algebras.
Orthomodular lattices with fully nontrivial commutators
An orthomodular lattice is said to have fully nontrivial commutator if the commutator of any pair is different from zero. In this note we consider the class of all orthomodular lattices with fully nontrivial commutators. We show that this class forms a quasivariety, we describe it in terms of quasiidentities and situate important types of orthomodular lattices (free lattices, Hilbertian lattices, etc.) within this class. We also show that the quasivariety in question is not a variety answering...
Orthomodular lattices with state-separated noncompatible pairs
In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodular lattices (OML) which enjoy state-separating properties of noncompatible pairs (see e.g. , and ). These properties usually guarantee reasonable “richness” of the state space—an assumption needed in developing the theory of quantum logics. In this note we consider these classes of OMLs from the universal algebra standpoint, showing, as the main result, that these classes form quasivarieties. We also illustrate...