Some Highly Undecidable Lattices. - Menachem Magidor; John W. Rosenthal; Mattiyahu Rubin; Gabriel Srour (Ann. Pure Appl. Log., 1990)