Total representations
From MaRDI portal
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.
Recommendations
- Logical Approaches to Computational Barriers
- scientific article; zbMATH DE number 3887669
- Comparing representations for function spaces in computable analysis
- Representations of the real numbers and of the open subsets of the set of real numbers
- Representations versus numberings: On the relationship of two computability notions
Cited in
(14)- Precomplete numberings
- Boole vs Wadge: comparing two basic tools of descriptive set theory
- Representation for multiple right-hand sides
- Effective wadge hierarchy in computable quasi-Polish spaces
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- Base-complexity classifications of \(\mathrm{qcb}_0\)-spaces
- Well-Quasi Orders and Hierarchy Theory
- A comparison of concepts from computable analysis and effective descriptive set theory
- Towards a descriptive theory of cb\(_{0}\)-spaces
- A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES
- Representations of analytic functions and Weihrauch degrees
- Representing Wholes by Structure
- Effective bases and notions of effective second countability in computable analysis
This page was built for publication: Total representations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4927427)
