Total Representations
arXiv:1304.1239 · doi:10.2168/LMCS-9(2:5)2013
Abstract
Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.
30 pages
Cited by in corpus (7)
- A comparison of concepts from computable analysis and effective descriptive set theory
- Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
- The descriptive theory of represented spaces
- Convex choice, finite choice and sorting
- First Order Theories of Some Lattices of Open Sets
- Computability on the space of countable ordinals
- Towards a Descriptive Theory of cb_0-Spaces