Navigation – Plan du site

Reverse Mathematics in Bishop’s Constructive Mathematics

Hajime Ishihara
p. 43-59

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.

Haut de page

Pour citer cet article

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 22 septembre 2017. URL : http://philosophiascientiae.revues.org/406 ; DOI : 10.4000/philosophiascientiae.406

Haut de page

Auteur

Hajime Ishihara

Japan Advanced Institute of Science and Technology

Haut de page

Droits d’auteur

Tous droits réservés

Haut de page