No CrossRef data available.
-Ary Free Lattices from Finitary OnesPublished 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 X L 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.