Characterizations of effective sets and nonexpansive multipliers in conditionally complete and infinitely distributive partially ordered sets.
Characterizations of nonexpansive multipliers on partially ordered sets
Characterizations of the -distributive semilattice
The -distributive semilattice is characterized in terms of semiideals, ideals and filters. Some sufficient conditions and some necessary conditions for -distributivity are obtained. Counterexamples are given to prove that certain conditions are not necessary and certain conditions are not sufficient.
Commutative directoids with sectional involutions
The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.
Commutative directoids with sectionally antitone bijections
We study commutative directoids with a greatest element, which can be equipped with antitone bijections in every principal filter. These can be axiomatized as algebras with two binary operations satisfying four identities. A minimal subvariety of this variety is described.
Comparing sets of the Baire space by means of general recursive operators
Completion of a class of topological semilattices, applications. (Complétion d'une classe de demi-treillis topologiques, applications.)
Congruence classes in Brouwerian semilattices
Brouwerian semilattices are meet-semilattices with 1 in which every element a has a relative pseudocomplement with respect to every element b, i. e. a greatest element c with a∧c ≤ b. Properties of classes of reflexive and compatible binary relations, especially of congruences of such algebras are described and an abstract characterization of congruence classes via ideals is obtained.
Congruence extension from a semilattice to the freely generated distributive lattice
Congruence kernels of distributive PJP-semilattices
A meet semilattice with a partial join operation satisfying certain axioms is a JP-semilattice. A PJP-semilattice is a pseudocomplemented JP-semilattice. In this paper we describe the smallest PJP-congruence containing a kernel ideal as a class. Also we describe the largest PJP-congruence containing a filter as a class. Then we give several characterizations of congruence kernels and cokernels for distributive PJP-semilattices.
Congruences generated by filters
Congruences on pseudocomplemented semilattices
It is known that congruence lattices of pseudocomplemented semilattices are pseudocomplemented [4]. Many interesting properties of congruences on pseudocomplemented semilattices were described by Sankappanavar in [4], [5], [6]. Except for other results he described congruence distributive pseudocomplemented semilattices [6] and he characterized pseudocomplemented semilattices whose congruence lattices are Stone, i.e. belong to the variety B₁ [5]. In this paper we give a partial solution to a more...
Congruences on semilattices with section antitone involutions
We deal with congruences on semilattices with section antitone involution which rise e.g., as implication reducts of Boolean algebras, MV-algebras or basic algebras and which are included among implication algebras, orthoimplication algebras etc. We characterize congruences by their kernels which coincide with semilattice filters satisfying certain natural conditions. We prove that these algebras are congruence distributive and 3-permutable.
Conjugated algebras
We generalize the correspondence between basic algebras and lattices with section antitone involutions to a more general case where no lattice properties are assumed. These algebras are called conjugated if this correspondence is one-to-one. We get conditions for the conjugary of such algebras and introduce the induced relation. Necessary and sufficient conditions are given to indicated when the induced relation is a quasiorder which has “nice properties", e.g. the unary operations are antitone...
Corrigendum to "Perfect semilattices".
Countable chains of distributive lattices as maximal semilattice quotients of positive cones of dimension groups
We construct a countable chain of Boolean semilattices, with all inclusion maps preserving the join and the bounds, whose union cannot be represented as the maximal semilattice quotient of the positive cone of any dimension group. We also construct a similar example with a countable chain of strongly distributive bounded semilattices. This solves a problem of F. Wehrung.