Sur le rang et la définissabilité des opérations implicites dans les classes d'algèbres
is a quasi-variety
The axiomatic rank of the quasivariety of orderable groups is infinite.
The congruence lattice of implication algebras.
The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups.
The globals of pseudovarieties of ordered semigroups containing and an application to a problem proposed by Pin
Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup , under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level of Straubing-Thérien’s concatenation hierarchy has infinite vertex rank.
The globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin
Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup B2, under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the pseudovariety of level 3/2 of Straubing-Thérien's concatenation hierarchy has infinite vertex rank.
The pseudovariety is hyperdecidable
The varieties of languages corresponding to the varieties of finite band monoids.
The weak extension property and finite axiomatizability for quasivarieties
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, RSD(∧), and the weak extension property, WEP. We prove that if 𝒦 ⊆ ℒ ⊆ ℒ' are quasivarieties of finite signature, and ℒ' is finitely generated while 𝒦 ⊨ WEP, then 𝒦 is finitely axiomatizable relative to ℒ. We prove for any quasivariety 𝒦 that 𝒦 ⊨ RSD(∧) iff 𝒦 has pseudo-complemented congruence lattices and 𝒦 ⊨ WEP. Applying these results and other results...
Transferral of entailment in duality theory: dualisability
A number of new results that say how to transfer the entailment relation between two different finite generators of a quasi-variety of algebras is presented. As their consequence, a well-known result saying that dualisability of a quasi-variety is independent of the generating algebra is derived. The transferral of endodualisability is also considered and the results are illustrated by examples.
Transferral of entailment in duality theory II: strong dualisability
Results saying how to transfer the entailment in certain minimal and maximal ways and how to transfer strong dualisability between two different finite generators of a quasi-variety of algebras are presented. A new proof for a well-known result in the theory of natural dualities which says that strong dualisability of a quasi-variety is independent of the generating algebra is derived.
Varieties of finite categories
Weak alg-universality and -universality of semigroup quasivarieties
In an earlier paper, the authors showed that standard semigroups , and play an important role in the classification of weaker versions of alg-universality of semigroup varieties. This paper shows that quasivarieties generated by and are neither relatively alg-universal nor -universal, while there do exist finite semigroups and generating the same semigroup variety as and respectively and the quasivarieties generated by and/or are quasivar-relatively -alg-universal and -universal...
Аксиоматический ранг квазимногообразия правоупорядочиваемых групп.
Аксиоматический ранг квазимногообразия, содержащего свободную разрешимую группу
Алгебраические точечные решетки квазимногообразий.
Базисы квазитождеств конечных модальных алгебр.
Вложимость свободной решетки в решетку квазимногообразий дистрибутивных решеток с псевдодополнениями
К вопросу о мощности решетки квазимногообразий нильпотентных групп.