Reverse Mathematics in Bishop’s Constructive Mathematics
Hajime Ishihara · Philosophia Scientae · 2006
We will overview the results in an informal approach to constructive reverse mathematics, that is reverse mathematics in Bishop’s constructive mathematics, especially focusing on compactness properties and continuous properties.