Reverse Mathematics in Bishop’s Constructive Mathematics
Résumé
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.
Pour citer cet article
Référence papier
Hajime Ishihara, « Reverse Mathematics in Bishop’s Constructive Mathematics », Philosophia Scientiæ, CS 6 | 2006, 43-59.
Référence électronique
Hajime Ishihara, « Reverse Mathematics in Bishop’s Constructive Mathematics », Philosophia Scientiæ [En ligne], CS 6 | 2006, mis en ligne le 01 septembre 2009, consulté le 21 janvier 2025. URL : http://journals.openedition.org/philosophiascientiae/406 ; DOI : https://doi.org/10.4000/philosophiascientiae.406
Haut de pageDroits d’auteur
Le texte et les autres éléments (illustrations, fichiers annexes importés), sont « Tous droits réservés », sauf mention contraire.
Haut de page
Flux RSS
