On the topological aspects of the theory of represented spaces

@article{Pauly2016OnTT,
  title={On the topological aspects of the theory of represented spaces},
  author={Arno Pauly},
  journal={Comput.},
  year={2016},
  volume={5},
  pages={159-180}
}
  • Arno Pauly
  • Published 2016
  • Computer Science, Mathematics
  • Comput.
  • Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented spaces is well-known to exhibit a strong topological flavour. We present an abstract and very succinct introduction to the field; drawing heavily on prior work by Escardo, Schroder, and others. Central aspects of the theory are function spaces and various… CONTINUE READING
    Point degree spectra of represented spaces
    • 31
    • PDF
    A topological view on algebraic computation models
    • 18
    • PDF
    On the algebraic structure of Weihrauch degrees
    • 43
    • PDF
    Comparing Representations for Function Spaces in Computable Analysis
    • 9
    • PDF
    Computability on the space of countable ordinals
    • 3
    • PDF
    Topological Analysis of Representations
    • 2
    • PDF
    Descriptive Complexity on Non-Polish Spaces II
    • 1
    • PDF
    Descriptive Complexity on Non-Polish Spaces
    • 5
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 82 REFERENCES
    Computability on subsets of metric spaces
    • 158
    Computability on Subsets of Euclidean Space I: Closed and Compact Subsets
    • 149
    • PDF
    Elementary Computable Topology
    • 56
    • PDF
    Products of effective topological spaces and a uniformly computable Tychonoff Theorem
    • 10
    • PDF
    Theory of Representations
    • 149
    • Highly Influential
    • PDF
    Continuity and Computability of Relations
    • 30
    Point degree spectra of represented spaces
    • 31
    • PDF
    Computably regular topological spaces
    • 6
    • PDF