Compactness in constructive analysis revisited
From MaRDI portal
Publication:1100202
DOI10.1016/0168-0072(87)90010-8zbMath0639.03060MaRDI QIDQ1100202
Weihrauch, Klaus, Christoph Kreitz
Publication date: 1987
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(87)90010-8
03F60: Constructive and recursive analysis
26A03: Foundations: limits and generalizations, elementary topology of the line
03F65: Other constructive mathematics
Related Items
Computable invariance, Computability on subsets of Euclidean space. I: Closed and compact subsets, Effectiveness of the global modulus of continuity on metric spaces, Computability on continuous, lower semi-continuous and upper semi-continuous real functions, Computability on computable metric spaces, Type 2 computational complexity of functions on Cantor's space, Relative computability and uniform continuity of relations
Cites Work