Search
Search Results
-
Coverages Give Free Constructions for Partial Frames
Defining objects using generators and relations has seen substantial application in the theory of frames. It is the aim of this paper to establish...
-
The ordered set of principal congruences of a countable lattice
For a lattice L, let Princ( L ) denote the ordered set of principal congruences of L . In a pioneering paper, G. Grätzer characterized the ordered set...
-
Weakly algebraic ideal topology of effect algebras
In this paper, we show that every weakly algebraic ideal of an effect algebra E induces a uniform topology (weakly algebraic ideal topology, for...
-
Traveling Spots on Multi-Dimensional Excitable Media
In this paper, the existence of a traveling spot on multi-dimensional ex-citable media is studied. First, the equations for the front and the back of...
-
Completions of uniform partial frames
We address classical questions concerning the existence and properties of completions in a new context, namely, that of uniform partial frames.
A...
-
Homogenization of Heat Transfer Process in Composite Materials
In this paper, we adapt the periodic unfolding method to study the asymptotic behavior, as ɛ tends to zero, of a class of stationary heat problems on...
-
Compatible operations on commutative weak residuated lattices
Compatibility of functions is a classical topic in Universal Algebra related to the notion of affine completeness. In algebraic logic, it is...
-
Isotopic algebras with nonisomorphic congruence lattices
We present pairs of isotopic algebras with congruence lattices of different sizes, thus answering negatively the question of whether isotopic...
-
Ojective ideals in modular lattices
The concept of an extending ideal in a modular lattice is introduced. A translation of module-theoretical concept of ojectivity (i.e. generalized...
-
A technical lemma for congruences of finite lattices
The classical Technical Lemma for congruences is not difficult to prove but it is very efficient in its applications. We present here a Technical...
-
A short proof of the congruence representation theorem of rectangular lattices
In a 1998 paper with H. Lakser, the authors proved that every finite distributive lattice D can be represented as the congruence lattice of a finite se...
-
The pasting constructions for effect algebras
The aim of this paper is to present several techniques of constructing a lattice-ordered effect algebra from a given family of lattice-ordered effect...
-
Coherence classes of ideals of normal lattices with applications to C(X)
Given a topological space X , Jenkins and McKnight have shown how ideals of the ring C ( X ) are partitioned into equivalence classes — called coherence...
-
The order of principal congruences of a bounded lattice
We characterize the order of principal congruences of a bounded lattice (also of a complete lattice and of a lattice of length 5) as a bounded...
-
Kernel ideals of a Stone JP-semilattice
A meet semilattice with a partial join operation satisfying some axioms is a JP-semilattice. A PJP-semilattice is a pseudocomplemented...
-
Representable tolerances in varieties
We discuss two possible ways of representing tolerances: first, as a homomorphic image of some congruence; second, as the relational composition of...
-
Associativity of operations on orthomodular lattices
It is known that orthomodular lattices admit 96 binary operations, out of which 16 are commutative. We clarify which of them are associative.
-
Independent joins of tolerance factorable varieties
Let
Lat denote the variety of lattices. In 1982, the second author proved thatLat is strongly tolerance factorable , that is, the members ofLat have... -
Congruences on directoids
Directoids are groupoids defined on every upward directed poset. They fully characterize these posets. Hence, in order to study conguences on...