Switch to: References

Add citations

You must login to add citations.
  1. The fixed-point property for represented spaces.Mathieu Hoyrup - 2022 - Annals of Pure and Applied Logic 173 (5):103090.
    Download  
     
    Export citation  
     
    Bookmark  
  • A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.
    Download  
     
    Export citation  
     
    Bookmark  
  • Spaces allowing Type‐2 Complexity Theory revisited.Matthias Schröder - 2004 - Mathematical Logic Quarterly 50 (4-5):443-459.
    The basic concept of Type-2 Theory of Effectivity to define computability on topological spaces or limit spaces are representations, i. e. surjection functions from the Baire space onto X. Representations having the topological property of admissibility are known to provide a reasonable computability theory. In this article, we investigate several additional properties of representations which guarantee that such representations induce a reasonable Type-2 Complexity Theory on the represented spaces. For each of these properties, we give a nice characterization of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation