A Study on Nice Open Covers in Constructive Analysis
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.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.