1. Separation axioms between T0 and T1;Aull;Indag. Math.,1963
2. A countably-based domain representation of a non-regular Hausdorff space;Bennet;Topology Proc.,2006
3. V. Brattka, Recursive and computable operations over topological structures, PhD thesis, FernUniversität Hagen, 1999.
4. Topological properties of real number representations;Brattka;Theoret. Comput. Sci.,2002
5. M. de Brecht, A. Yamamoto, Σα0-admissible representations, in: Sixth International Conference on Computability and Complexity in Analysis (CCA 2009), 2009.