Meanders in lattices.
Ladislav Beran (1995)
Collectanea Mathematica
Similarity:
Ladislav Beran (1995)
Collectanea Mathematica
Similarity:
Al-Ezeh, H. (1992)
Portugaliae mathematica
Similarity:
Bordalo, G. (1980)
Portugaliae mathematica
Similarity:
C. Jayaram (2002)
Czechoslovak Mathematical Journal
Similarity:
In this paper we study primary elements in Prüfer lattices and characterize -lattices in terms of Prüfer lattices. Next we study weak ZPI-lattices and characterize almost principal element lattices and principal element lattices in terms of ZPI-lattices.
Ladislav Beran (1995)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Ladislav Beran (1995)
Collectanea Mathematica
Similarity:
E. Johnson, J. Johnson, J. Lediaev (1971)
Fundamenta Mathematicae
Similarity:
Adam Grabowski (2013)
Formalized Mathematics
Similarity:
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...