Bi-Topological Spaces and the Continuity Problem
Dieter Spreen
Department of Mathematics, Universität Siegen, Siegen, Germany
Department of Mathematics, Universität Siegen, Siegen, Germany
2017/4/17 Mon 4PM-5PM
The continuity problem is the question when effective (or Markov computable) maps between effectively given topological spaces are effectively continuous. It will be shown that this is always the case if the the range of the map is effectively bi-regular. As will be shown, such spaces appear quite naturally in the context of the problem.