The undecidability of the lattice of r. e. closed subsets of an effective topological space (Q1098841)

The first-order theory of the lattice of r.e. open subsets (and hence r.e. closed subsets) of an effective topological space is shown to be undecidable. The proof uses a reduction from the theory of the lattice of r.e. sets. For the particular case of the Euclidean n-space, a more direct proof is provided, relying on a chain of two reductions, the essential one being that from the theory of symmetric, irreflexive binary relations.