TY - RPRT TI - Order polynomially complete lattices must be LARGE AU - Martin Goldstern AU - Saharon Shelah PY - 1997 UR - https://arxiv.org/abs/math/9707203 ID - math/9707203 ER -