Pairs of multilattices defined on the same set
Page 1 Next
Oľga Klaučová (1980)
Mathematica Slovaca
Igor Kříž, Aleš Pultr (1989)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Dharmanand Baboolal (2011)
Czechoslovak Mathematical Journal
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...
Aleš Pultr (1984)
Commentationes Mathematicae Universitatis Carolinae
Aleš Pultr (1984)
Commentationes Mathematicae Universitatis Carolinae
Jiří Rachůnek (2001)
Mathematica Slovaca
František Fiala (1970)
Archivum Mathematicum
Rudeanu, Sergiu (2007)
Analele Ştiinţifice ale Universităţii “Ovidius" Constanţa. Seria: Matematică
Martin R. Goldstern, Dietmar Schweigert (2002)
Discussiones Mathematicae - General Algebra and Applications
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.
Carmela Cella, Ada Lettieri (1992)
Stochastica
In this note we characterize bipartite MV-algebras by introducing the notion of preboolean MV-algebras.
Leonardo Cabrer, Sergio Celani (2006)
Open Mathematics
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.
Adam Grabowski (2013)
Formalized Mathematics
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...
Jan Kühr (2003)
Mathematica Slovaca
Vinayak Joshi, Nilesh Mundlik (2013)
Open Mathematics
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...
Amelie J. Berger, Peter Mihók (2003)
Discussiones Mathematicae Graph Theory
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,...
Andreas Blass (1987)
Fundamenta Mathematicae
E. Johnson, M. Detlefsen (1974)
Fundamenta Mathematicae
Melvin F. Janowitz, Robert C. Powers, Thomas Riedel (1999)
Commentationes Mathematicae Universitatis Carolinae
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.
Beazer, R. (1993)
Portugaliae mathematica
Jaromír Duda (1989)
Mathematica Slovaca
Page 1 Next