The undecidability of the lattice of R.E. closed subsets of an effective topological space. - Sheryl Silibovsky Brady; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1987)