We study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological space X. Various constructions produce complemented ...

We extend the priority method in α-recursion theory to certain arguments with no a priori bound on the required preservations by proving the splitting theorem for all admissible α. THEOREM: Let C be a ...