-algebras of the monad -Fuzz
The 0-distributivity in the class of subalgebra lattices of Heyting algebras and closure algebras
The algebraic theory of compact Lawson semilattices Applications of Galois connections to compact semilattices [Book]
The characterization of -compact elements in some lattices
The epis of
The epis of the category of ordered algebras and -continuous homomorphisms
The Galois correspondence between subvariety lattices and monoids of hpersubstitutions
Denecke and Reichel have described a method of studying the lattice of all varieties of a given type by using monoids of hypersubstitutions. In this paper we develop a Galois correspondence between monoids of hypersubstitutions of a given type and lattices of subvarieties of a given variety of that type. We then apply the results obtained to the lattice of varieties of bands (idempotent semigroups), and study the complete sublattices of this lattice obtained through the Galois correspondence.
The graphs of join-semilattices and the shape of congruence lattices of particle lattices
We attach to each -semilattice a graph whose vertices are join-irreducible elements of and whose edges correspond to the reflexive dependency relation. We study properties of the graph both when is a join-semilattice and when it is a lattice. We call a -semilattice particle provided that the set of its join-irreducible elements satisfies DCC and join-generates . We prove that the congruence lattice of a particle lattice is anti-isomorphic to the lattice of all hereditary subsets of...
The quantifier semigroup for bipartite graphs.
The Słupecki criterion by duality
A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of only. We show how the method applies for proving Słupecki’s classical theorem by generating diagonal relations from each pair of k-tuples.
The structure of closure congruences
The Tensor Product of Continuous Lattices.
Translations of distributive and modular ordered sets
Triple construction of semilattices with admitting neutral -closure operators
Two closure operators which preserve m-compacticity