Selivanov, Victor - Total Representations

lmcs:1191 - Logical Methods in Computer Science, June 2, 2013, Volume 9, Issue 2
Total Representations

Authors: Selivanov, Victor

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.


Source : oai:arXiv.org:1304.1239
DOI : 10.2168/LMCS-9(2:5)2013
Volume: Volume 9, Issue 2
Published on: June 2, 2013
Submitted on: June 25, 2015
Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic


Share

Browsing statistics

This page has been seen 35 times.
This article's PDF has been downloaded 11 times.