Reverse Mathematics in Bishop’s Constructive Mathematics
Journal: Philosophia Scientae
•
• Éditions Kimé
• ISSN:
1281-2463
Abstract
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.
Subjects & Keywords
How to Cite this Article
Hajime Ishihara (2006). "Reverse Mathematics in Bishop’s Constructive Mathematics". Philosophia Scientae. https://doi.org/10.4000/philosophiascientiae.406