Algebraic duality of constant algebras
Algebras presented by normal identities
Algebras satisfying certain quasiorder identities
An algorithm for free algebras
We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.
An equational basis in four variables for the three-element tournament
Announcements of new results
Approximate Mal'tsev operations.
Arithmeticity at 0