Jeder endlich erzeugte, modulare Verband endlicher Weite ist endlich
We say that a ⟨∨,0⟩-semilattice S is conditionally co-Brouwerian if (1) for all nonempty subsets X and Y of S such that X ≤ Y (i.e. x ≤ y for all ⟨x,y⟩ ∈ X × Y), there exists z ∈ S such that X ≤ z ≤ Y, and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X, Y, and Z of less than κ elements, for an infinite cardinal κ, we obtain the definition of a conditionally κ-co-Brouwerian...
The class of J-lattices was defined in the second author’s thesis. A subspace lattice on a Banach space X which is also a J-lattice is called a J- subspace lattice, abbreviated JSL. Every atomic Boolean subspace lattice, abbreviated ABSL, is a JSL. Any commutative JSL on Hilbert space, as well as any JSL on finite-dimensional space, is an ABSL. For any JSL ℒ both LatAlg ℒ and (on reflexive space) are JSL’s. Those families of subspaces which arise as the set of atoms of some JSL on X are characterised...