A remark on the ideal extension property
A remark on topological spaces, grids, and topological systems
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