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 04 août 2021. 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

Tous droits réservés

Haut de page
  • Logo Éditions Kimé
  • Revue soutenue par l’Institut des sciences humaines et sociales du CNRS
    CNRS - Institut national des sciences humaines et sociales
  • OpenEdition Journals
Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search