A comparison of concepts from computable analysis and effective descriptive set theory
A comparison of concepts from computable analysis and effective descriptive set theory
Computable analysis and effective descriptive set theory are both concerned with complete metric spaces, functions between them and subsets thereof in an effective setting. The precise relationship of the various definitions used in the two disciplines has so far been neglected, a situation this paper is meant to remedy. As …