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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Discontinuity Problem.Vasco Brattka - 2023 - Journal of Symbolic Logic 88 (3):1191-1212.
    Matthias Schröder has asked the question whether there is a weakest discontinuous problem in the topological version of the Weihrauch lattice. Such a problem can be considered as the weakest unsolvable problem. We introduce the discontinuity problem, and we show that it is reducible exactly to the effectively discontinuous problems, defined in a suitable way. However, in which sense this answers Schröder’s question sensitively depends on the axiomatic framework that is chosen, and it is a positive answer if we work (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark