On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra.
On the surjectivity of the Ribenboim representation of a lattice ordered group.
On the tolerance extension property
On the variety Csub
The variety of lattices generated by lattices of all convex sublattices of distributive lattices is investigated.
On the Word Problem for the Modular Lattice with Four Free Generators.
On topologies convexly compatible with the ordering
On valuation in semilattices
On varieties of regular -semigroups
On varieties of regular -semigroups, II
On weak direct product decompositions of lattices and graphs
On weakly commutative poe-semigroups.
On -continuous tolerances of -distributive lattices
One simple result concerning imprimitivity relations of monoids of transformations and its applications.
One-variable equationally compact distributive lattices
Opérations dérivées des treillis orthomodulaire (Part 1)
Opérations dérivées des treillis orthomodulaires (Part 2)
Opérations dérivées des treillis orthomodulaires (Part 3)
Operatori di tipo su reticoli completi
Order affine completeness of lattices with Boolean congruence lattices
This paper grew out from attempts to determine which modular lattices of finite height are locally order affine complete. A surprising discovery was that one can go quite far without assuming the modularity itself. The only thing which matters is that the congruence lattice is finite Boolean. The local order affine completeness problem of such lattices easily reduces to the case when is a subdirect product of two simple lattices and . Our main result claims that such a lattice is locally...
Order convergence and compactness