If V is a variety of lattices andLa free lattice in V on uncountably many generators, then any cofinal sublattice ofLgenerates all of V. On the other hand, any modular lattice without chains of order-type ω+1 has a cofinal distributive sublattice. More generally, if a modular latticeLhas a distributive sublattice which is ‘cofinal modulo intervals withACC’, this may be enlarged to a cofinal distributive sublattice. Examples are given showing that these existence results are sharp in several ways. Some similar results and questions on existence of cofinal sublattices withDCCare n
展开▼