Reverse Mathematics in Bishop’s Constructive Mathematics
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.
References
Bibliographical reference
Hajime Ishihara, “Reverse Mathematics in Bishop’s Constructive Mathematics”, Philosophia Scientiæ, CS 6 | 2006, 43-59.
Electronic reference
Hajime Ishihara, “Reverse Mathematics in Bishop’s Constructive Mathematics”, Philosophia Scientiæ [Online], CS 6 | 2006, Online since 01 September 2009, connection on 29 March 2024. URL: http://journals.openedition.org/philosophiascientiae/406; DOI: https://doi.org/10.4000/philosophiascientiae.406
Top of pageCopyright
The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.
Top of page