Effectivity of Regular Spaces

Abstract. General methods of investigating effectivity on regular Hausdorff (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a category of domain representations. Using this functor one may look at the subcategory of effective domain representations to get an effectivity theory for T3 spaces. However, this approach seems to be beset by some problems. Instead, a new approach to introducing effectivity to T3 spaces is given. The construction uses effective retractions on effective Scott

• Type: Conference
• Year: 2000
• Where: CCA
• Authors: Jens Blanck
• Keywords: CCA 2000, Domain Representations, Effective Domain Representations, Functor, Theoretical Computer Science