Victor Selivanov - Total Representations

lmcs:1191 - Logical Methods in Computer Science, June 2, 2013, Volume 9, Issue 2 - https://doi.org/10.2168/LMCS-9(2:5)2013
Total RepresentationsArticle

Authors: Victor Selivanov

    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
    Imported on: May 29, 2011
    Keywords: Computer Science - Logic in Computer Science,Mathematics - Logic

    14 Documents citing this article

    Consultation statistics

    This page has been seen 1479 times.
    This article's PDF has been downloaded 315 times.