Undecidability of Some Topological Theories