关键词: 第二类能行性理论, co-regular集, 表示式, 可计算算子

Abstract: For co-regular subsets in metric spaces, previous work has identified twelve distinct reasonable representationsand its induced computability. With respect to those basic notions we investigated the computabilityof natural operations on coregular sets: union, intersection, complement, the interior of a closed set, image and preimage under suitable classes of functions. The results show that only few of these representationsare uniformly computable in the sense of rendering all those operations.

Key words: type2 theory of effectivity, coregular subset, representation, computable operator