Topological variants of the continuity theorem and of some related theorems

The recursive continuity theorem for operators in separable recursive metric spaces is extended here to operators in a class of first countable constructive (recursive) topological spaces supplied with a limit operator. Other specific theorems of constructive mathematics are also considered.