Publication:3722498
From MaRDI portal
zbMath0593.03039MaRDI QIDQ3722498
Weihrauch, Klaus, Christoph Kreitz
Publication date: 1984
compactness; topology; partial functions; computability; theory of representations; recursion theory; constructive analysis; Heine-Borel theorem; representations of real numbers
03F60: Constructive and recursive analysis
Related Items
Computability on the probability measures on the Borel sets of the unit interval, Theses for Computation and Recursion on Concrete and Abstract Structures, Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis, Three concepts of decidability for general subsets of uncountable spaces, On the complexity of online computations of real functions, 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, Recursive characterization of computable real-valued functions and relations, A blend of methods of recursion theory and topology., Computability on subsets of metric spaces., Computability on computable metric spaces