A comparison of concepts from computable analysis and effective descriptive set theory
Logic in Computer Science
2016-06-29 v2 General Topology
Abstract
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 the role of the Cauchy completion is relevant for both effective approaches to Polish spaces, we consider the interplay of effectivity and completion in some more detail.
Keywords
Cite
@article{arxiv.1403.7997,
title = {A comparison of concepts from computable analysis and effective descriptive set theory},
author = {Vassilios Gregoriades and Tamás Kispéter and Arno Pauly},
journal= {arXiv preprint arXiv:1403.7997},
year = {2016}
}
Comments
accepted for publication in the special issue of "Mathematical Structures in Computer Science" dedicated to CCC 2013