On a conjecture of Rhodes.
On a question of Pultr regarding categories of structures
On a theorem of Šutov.
On automorphisms of the lattice of quasivarieties of lattice-ordered groups
On compact classes of models
On convexities of lattices
On countably compact reduced products, III
On covarieties of coalgebras
On exponentiation on n-ary hyperalgebras
For n-ary hyperalgebras we study a binary operation of exponentiation which to a given pair of n-ary hyperalgebras assigns their power, i.e., an n-ary hyperalgebra carried by the corresponding set of homomorphisms. We give sufficient conditions for the existence of such a power and for a decent behaviour of the exponentiation. As a consequence of our investigations we discover a cartesian closed subcategory of the category of n-ary hyperalgebras and homomorphisms between them.
On generalized products preserving compactness.
On Levi quasivarieties generated by nilpotent groups.
On locally small based algebraic theories
On n-permutable equivalence relations in regular categories
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 relational selections for complete theories.