No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Let be an infinite regular cardinal. A poset L is called an -lattice if and only if for all XL satisfying 0 < |X| < m, ∧ X and ∨ X exist.
This paper is a part of a sequence of papers, [5], [6], [7], [8], developing the theory of -lattices. For a survey of some of these results, see [9].
The -lattice is described in [6]; γ denotes the zero and γ′ the unit of . In particular, formulas for -joins and meets are given. (We repeat the essentials of this description in Section 4.)
In [6] we proved the theorem stated below. Our proof was based on characterization of (the free -lattice on P) due to [1]; as a result, our proof was very computational.