Images of simple lattice polynomials

Although lattice polynomials, built from the two binary lattice operations and involving constants of the lattice, are mechanical devices to produce isotone self-maps, there is no order-theoretical property common to all lattice polynomial images. This contrasts with the current fact that little is known about isotone self-maps whose images are not, themselves, lattices. It also shuts out an obvious approach to the conjecture that every order polynomial complete lattice is finite.Presented by R. Freese.