There are no infinite order polynomially complete lattices, after all M. GoldsternS. Shelah Pages: 49 - 57