Navigation – Plan du site

AccueilCahiers spéciauxCS 6Reverse Mathematics in Bishop’s C...

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 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 19 mars 2024. URL : http://journals.openedition.org/philosophiascientiae/406 ; DOI : https://doi.org/10.4000/philosophiascientiae.406

Haut de page

Auteur

Hajime Ishihara

Japan Advanced Institute of Science and Technology

Haut de page

Droits 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
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search