Reverse Mathematics in Bishop’s Constructive Mathematics
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.
Main Author: | |
---|---|
Format: | Article |
Language: | deu |
Published: |
Éditions Kimé
2006-09-01
|
Series: | Philosophia Scientiæ |
Online Access: | http://journals.openedition.org/philosophiascientiae/406 |