Abstract:I take a constructive look at Dieter Spreen's treatment of effective topological spaces and the Kreisel-Lacombe-Shoenfield-Tseitin (KLST) continuity theorem. Transferring Spreen's ideas from classical computability theory and numbered sets to a constructive setting leads to a theory of topological spaces, in fact two of them: a locale-theoretic one embodied by the notion of $\sigma$-frames, and a pointwise one that follows more closely traditional topology. Spreen's notion of effective limit passing turns out to be closely related to sobriety, while his witnesses for non-inclusion give rise to a novel separation property - any point separated from an overt subset by a semidecidable subset is already separated from it by an open one. I name spaces with this property Spreen spaces, and show that they give rise to a purely constructive continuity theorem: every map from an overt Spreen space to a pointwise regular space is pointwise continuous. The theorem is easily proved, but finding non-trivial examples of Spreen spaces is harder. I show that they are plentiful in synthetic computability theory.

Nonexistence of k-bounded sobrification

The Answer to a Problem Posed by Zhao and Ho

ON CO-SOBER SPACES

On Supremum of Bounded Quantum Observable

A Boolean-valued space approach to separation axioms and sobriety of bitopological spaces

On P-Sober Spaces

Epireflections in the Category of T0 Stratified Q-cotopological Spaces

The characterization for the sobriety of $L$-convex spaces

Wb-sober spaces and the core-coherence of dcpo models

BREGMAN DISTANCES AND KLEE SETS IN BANACH SPACES

Topological representations for frame-valued domains via $L$-sobriety

Sober $L$-convex spaces and $L$-join-semilattices

Sobriety of quantale-valued cotopological spaces

Products of two sober dcpo's need not be sober

The core compactly generated topology

Sober topological spaces valued in a quantale

A survey and exposition of sub-Hausdorff separation axioms

On a question of Kwakkel and Markovic on existence of wandering domains with bounded geometry

The categories $L$\textbf{-Top_0} and $L$\textbf{Sob} as epireflective hulls

Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem

Some remarks on K-closedness of the couples of real Hardy spaces