scientific article

zbMath0593.03039MaRDI QIDQ3722498

Weihrauch, Klaus, Christoph Kreitz

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compactnesstopologypartial functionscomputabilitytheory of representationsrecursion theoryconstructive analysisHeine-Borel theoremrepresentations of real numbers

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Related Items

Recursive characterization of computable real-valued functions and relations ⋮ A blend of methods of recursion theory and topology. ⋮ Computability on subsets of metric spaces. ⋮ Theses for Computation and Recursion on Concrete and Abstract Structures ⋮ On the complexity of online computations of real functions ⋮ Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis ⋮ Computability on computable metric spaces ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Computability on subsets of Euclidean space. I: Closed and compact subsets ⋮ Computability on the probability measures on the Borel sets of the unit interval ⋮ Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I ⋮ Three concepts of decidability for general subsets of uncountable spaces