Reflexive and antisymmetric relations and their systems
Regular and normal quantales
Regularity and transitivity of local-automorphism semigroups of locally finite forests
Regularity in p-algebras and p-semilattices
Regulated semilattices and locally compact spaces
Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices
In this paper we shall study a notion of relative annihilator-preserving congruence relation and relative annihilator-preserving homomorphism in the class of bounded distributive semilattices. We shall give a topological characterization of this class of semilattice homomorphisms. We shall prove that the semilattice congruences that are associated with filters are exactly the relative annihilator-preserving congruence relations.
Relatively pseudocomplemented directoids
The concept of relative pseudocomplement is introduced in a commutative directoid. It is shown that the operation of relative pseudocomplementation can be characterized by identities and hence the class of these algebras forms a variety. This variety is congruence weakly regular and congruence distributive. A description of congruences via their kernels is presented and the kernels are characterized as the so-called -ideals.
Relatively pseudocomplemented Hilbert algebras
We characterise those Hilbert algebras that are relatively pseudocomplemented posets.
Remarks on equational theories of semilattices with operators
Representation of algebraic distributive lattices with ℵ1 compact elements as ideal lattices of regular rings.
We prove the following result: Theorem. Every algebraic distributive lattice D with at most ℵ1 compact elements is isomorphic to the ideal lattice of a von Neumann regular ring R.(By earlier results of the author, the ℵ1 bound is optimal.) Therefore, D is also isomorphic to the congruence lattice of a sectionally complemented modular lattice L, namely, the principal right ideal lattice of R. Furthermore, if the largest element of D is compact, then one can assume that R is unital, respectively,...
Representation of Hilbert algebras and implicative semilattices
In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.
Ring-like operations is pseudocomplemented semilattices
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Ring-like structures derived from -lattices with antitone involutions
Using the concept of the -lattice introduced recently by V. Snášel we define -lattices with antitone involutions. For them we establish a correspondence to ring-like structures similarly as it was done for ortholattices and pseudorings, for Boolean algebras and Boolean rings or for lattices with an antitone involution and the so-called Boolean quasirings.