DOI

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.
Original languageEnglish
Pages (from-to)1-30
Number of pages30
JournalLogical Methods in Computer Science
Volume9
Issue number2
DOIs
StatePublished - 11 Jun 2013

    Research areas

  • Baire space, Continuous function, Hierarchy, Reducibility, Representation, Space, Total representation

ID: 127085565