The theory of core algebras: its completeness.
The varieties of languages corresponding to the varieties of finite band monoids.
The variety covering the variety of all modular lattices.
The variety generated by tournaments
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...
The weak hereditary class of a variety
We study the weak hereditary class of all weak subalgebras of algebras in a total variety . We establish an algebraic characterization, in the sense of Birkhoff’s HSP theorem, and a syntactical characterization of these classes. We also consider the problem of when such a weak hereditary class is weak equational.
The weak subalgebra lattice of a unary partial algebra of a given infinite unary type
The word problem for regular identities
The zero-completion of a median algebra
Théorie des magmoïdes
Théorie des magmoïdes (I)
Theory of computing systems
Theory of equidistance and betweenness relations in regular metric spaces
Three Mal'cev Type Theorems and their Application
Three-variable equations of posets
We find an independent base for three-variable equations of posets.
T-independence in distributive lattices
Tolerance distributive and tolerance Boolean varieties of semigroups
Tolerance distributive and tolerance modular varieties of commutative semigroups
Tolerance in algebraic structures. II
Tolerance lattice of algebras with restricted similarity type