The descriptive theory of represented spaces
Logic in Computer Science
2014-08-25 v1 General Topology
Logic
Abstract
This is a survey on the ongoing development of a descriptive theory of represented spaces, which is intended as an extension of both classical and effective descriptive set theory to deal with both sets and functions between represented spaces. Most material is from work-in-progress, and thus there may be a stronger focus on projects involving the author than an objective survey would merit.
Cite
@article{arxiv.1408.5329,
title = {The descriptive theory of represented spaces},
author = {Arno Pauly},
journal= {arXiv preprint arXiv:1408.5329},
year = {2014}
}
Comments
survey of work-in-progress