Skip to navigation – Site map

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

Reverse Mathematics in Bishop’s Constructive Mathematics

Hajime Ishihara
p. 43-59

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.

Top of page

References

Bibliographical reference

Hajime Ishihara, Reverse Mathematics in Bishop’s Constructive MathematicsPhilosophia Scientiæ, CS 6 | 2006, 43-59.

Electronic reference

Hajime Ishihara, Reverse Mathematics in Bishop’s Constructive MathematicsPhilosophia 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 page

About the author

Hajime Ishihara

Japan Advanced Institute of Science and Technology

Top of page

Copyright

The text and other elements (illustrations, imported files) are “All rights reserved”, unless otherwise stated.

Top of page
Search OpenEdition Search

You will be redirected to OpenEdition Search