The descriptive theory of represented spaces
arXiv:1408.5329
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.
arXiv commentsurvey of work-in-progress
References in corpus (9)
- The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma
- Randomness and Differentiability
- The degree structure of Weihrauch-reducibility
- Real Hypercomputation and Continuity
- Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
- Revising Type-2 Computation and Degrees of Discontinuity
- Total Representations
- Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
- Computably regular topological spaces