A remark on v*-algebras
A representation theorem for idempotent medial algebras
A scheme for congruence semidistributivity
A diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the ∧-semidistributive law.
A semantic construction of two-ary integers
To binary trees, two-ary integers are what usual integers are to natural numbers, seen as unary trees. We can represent two-ary integers as binary trees too, yet with leaves labelled by binary words and with a structural restriction. In a sense, they are simpler than the binary trees, they relativize. Hence, contrary to the extensions known from Arithmetic and Algebra, this integer extension does not make the starting objects more complex. We use a semantic construction to get this extension. This...
A semigroup in function algebra.
A short proof of Rédei's Theorem.
A simple basis of ideal terms of Brouwerian semilattices
A simple geometric proof of a theorem on
A sketch of the lattice of commutative nilpotent semigroup varieties.
A special congruence lattice of a regular semigroup.
A sufficient condition for a variety to have the amalgamation property
A survey of algebra of tournaments.
A survey of minimal clones.
-systems
A ternary variety generated by lattices
A theorem on doubly transitive permutation groups with application to universal algebras
A theorem on groups
A theory of extensions of quasi-algebras to algebras [Book]
A transvection decomposition in GL(n,2)
An algorithm is given to decompose an automorphism of a finite vector space over ℤ₂ into a product of transvections. The procedure uses partitions of the indexing set of a redundant base. With respect to tents, i.e. finite ℤ₂-representations generated by a redundant base, this is a decomposition into base changes.
A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups.