A Study on Nice Open Covers in Constructive Analysis

Tong Cheng, Zhihan Gao, Yuxin Ma +2

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…