The free orthomodular lattice on countably many generators is a subalgebra of the free orthomodular lattice on three generators John Harding Pages: 171 - 182