Total Representations
Logic in Computer Science
2015-07-01 v2 Logic
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.
Cite
@article{arxiv.1304.1239,
title = {Total Representations},
author = {Victor Selivanov},
journal= {arXiv preprint arXiv:1304.1239},
year = {2015}
}
Comments
30 pages