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.

Volume: Volume 9, Issue 2
Published on: June 2, 2013
Submitted on: May 29, 2011
Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic


Consultation statistics

This page has been seen 155 times.
This article's PDF has been downloaded 109 times.