A Study on Nice Open Covers in Constructive Analysis
From MaRDI portal
Abstract: Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us that a closed bounded subset of Euclidean space R is compact, but in constructive mathematics, Tseitin and Zaslavskii showed that the set of all constructive real numbers between 0 and 1 is not compact. We are going to show that when giving certain restriction to the open cover on [0,1], we can however always choose a finite sub-cover.
This page was built for publication: A Study on Nice Open Covers in Constructive Analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6348510)
