Pairs of multilattices defined on the same set
Peculiar behavior of connected locales
Perfect compactifications of frames
Perfect compactifications of frames are introduced. It is shown that the Stone-Čech compactification is an example of such a compactification. We also introduce rim-compact frames and for such frames we define its Freudenthal compactification, another example of a perfect compactification. The remainder of a rim-compact frame in its Freudenthal compactification is shown to be zero-dimensional. It is shown that with the assumption of the Boolean Ultrafilter Theorem the Freudenthal compactification...
Pointless uniformities. I. Complete regularity
Pointless uniformities. II: (Dia)metrization
Polars and annihilators in representable -monoids and -algebras
Polars in distributive lattices with the smallest element
Post algebras in 3-rings.
Power-ordered sets
We define a natural ordering on the power set 𝔓(Q) of any finite partial order Q, and we characterize those partial orders Q for which 𝔓(Q) is a distributive lattice under that ordering.
Preboolean MV-algebras as bipartite MV-algebras.
In this note we characterize bipartite MV-algebras by introducing the notion of preboolean MV-algebras.
Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
In this work we give a duality for many classes of lattice ordered algebras, as Integral Commutative Distributive Residuated Lattices MTL-algebras, IMTL-algebras and MV-algebras (see page 604). These dualities are obtained by restricting the duality given by the second author for DLFI-algebras by means of Priestley spaces with ternary relations (see [2]). We translate the equations that define some known subvarieties of DLFI-algebras to relational conditions in the associated DLFI-space.
Prime Filters and Ideals in Distributive Lattices
The article continues the formalization of the lattice theory (as structures with two binary operations, not in terms of ordering relations). In the Mizar Mathematical Library, there are some attempts to formalize prime ideals and filters; one series of articles written as decoding [9] proven some results; we tried however to follow [21], [12], and [13]. All three were devoted to the Stone representation theorem [18] for Boolean or Heyting lattices. The main aim of the present article was to bridge...
Prime ideals and polars in DR-monoids and BL-algebras
Prime ideals in 0-distributive posets
In the first section of this paper, we prove an analogue of Stone’s Theorem for posets satisfying DCC by using semiprime ideals. We also prove the existence of prime ideals in atomic posets in which atoms are dually distributive. Further, it is proved that every maximal non-dense (non-principal) ideal of a 0-distributive poset (meet-semilattice) is prime. The second section focuses on the characterizations of (minimal) prime ideals in pseudocomplemented posets. The third section deals with the generalization...
Prime ideals in the lattice of additive induced-hereditary graph properties
An additive induced-hereditary property of graphs is any class of finite simple graphs which is closed under isomorphisms, disjoint unions and induced subgraphs. The set of all additive induced-hereditary properties of graphs, partially ordered by set inclusion, forms a completely distributive lattice. We introduce the notion of the join-decomposability number of a property and then we prove that the prime ideals of the lattice of all additive induced-hereditary properties are divided into two groups,...
Prime ideals yield almost maximal ideals
Prime sequences and distributivity in local Noether lattices
Primes, coprimes and multiplicative elements
The purpose of this paper is to study conditions under which the restriction of a certain Galois connection on a complete lattice yields an isomorphism from a set of prime elements to a set of coprime elements. An important part of our study involves the set on which the way-below relation is multiplicative.
Principal congruence properties of some algebras with pseudocomplementation
Principal congruence relations and principal tolerances on varieties of lattices