Displaying similar documents to “Balanced d-lattices are complemented”

Primary elements in Prüfer lattices

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.

Prime Filters and Ideals in Distributive Lattices

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...