Bi-topological spaces and the Continuity Problem

Dieter Spreen

The \emph{Continuity Problem} is the question whether effective operators are continuous, where an effective operator $F$ is a function on a space of constructively given objects $…