Title: On formal spaces and their effective presentations
Subjects: Topological spaces, Recursive functions