Compactness in constructive analysis revisited
This paper, which follows other papers of the same authors, deals with constructive compactness. Representations of closed and compact subset of \({\mathbb{R}}\) are introduced and two different versions of the Heine-Borel theorem are proved. It is pointed out the fundamental role of topology in constructive analysis, and in particular of discontinuity as the main reason for nonconstructivity.
scientific article; zbMATH DE number 4041912