Minimal Representations
Birkhäuser Boston eBooks · 2007
In the proof of the Dilworth Theorem (Theorem 7.1), we construct—for a distributive lattice D with n ≥ 1 join-irreducible elements—a lattice L satisfying Con L ≅ D . The size of this lattice is O (2 2 n ). These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.