J4

• 数学 • Previous Articles     Next Articles

Computable Operators on Coregular Subsets

QIU Yuwen, ZHAO Xishun   

  1. Institute of Logic and Cognition, Sun Yetsen University, Guangzhou 510275, China
  • Received:2007-06-12 Revised:1900-01-01 Online:2008-05-26 Published:2008-05-26
  • Contact: QIU Yuwen

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

CLC Number: 

  • O141.3