Enumeration of solutions to some equations in finite lattices (Q1280368)

The author discusses some enumeration problems. They are formulated as problems of enumeration of solutions to systems of equations in finite lattices. The results are applied to the following purposes: 1) To prove Rota's cross-cut theorems; 2) To prove Dilworth's covering theorem for finite modular lattices; 3) To enumerate generators of Boolean algebras.