Identities of cofinal sublattices (Q1066926)

The main results of the paper are: (1) If V is a variety of lattices and L is a free lattice in V on uncountably many generators, then any cofinal sublattice of L generates all of the variety V. (2) If L is a modular lattice and D is a distributive sublattice of L which is cofinal modulo intervals with ACC, then D may be extended to a cofinal distributive sublattice of L. Similar results and questions on existence of cofinal sublattices with DCC are given.