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 |
| _version_ | 1797402466612936704 |
|---|---|
| author | Hajime Ishihara |
| author_facet | Hajime Ishihara |
| author_sort | Hajime Ishihara |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-09T02:25:41Z |
| format | Article |
| id | doaj.art-6605ad7f995849ac8b8691862ed3fe30 |
| institution | Directory Open Access Journal |
| issn | 1281-2463 1775-4283 |
| language | deu |
| last_indexed | 2024-03-09T02:25:41Z |
| publishDate | 2006-09-01 |
| publisher | Éditions Kimé |
| record_format | Article |
| series | Philosophia Scientiæ |
| spelling | doaj.art-6605ad7f995849ac8b8691862ed3fe302023-12-06T15:54:45ZdeuÉditions KiméPhilosophia Scientiæ1281-24631775-42832006-09-016435910.4000/philosophiascientiae.406Reverse Mathematics in Bishop’s Constructive MathematicsHajime IshiharaWe 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.http://journals.openedition.org/philosophiascientiae/406 |
| spellingShingle | Hajime Ishihara Reverse Mathematics in Bishop’s Constructive Mathematics Philosophia Scientiæ |
| title | Reverse Mathematics in Bishop’s Constructive Mathematics |
| title_full | Reverse Mathematics in Bishop’s Constructive Mathematics |
| title_fullStr | Reverse Mathematics in Bishop’s Constructive Mathematics |
| title_full_unstemmed | Reverse Mathematics in Bishop’s Constructive Mathematics |
| title_short | Reverse Mathematics in Bishop’s Constructive Mathematics |
| title_sort | reverse mathematics in bishop s constructive mathematics |
| url | http://journals.openedition.org/philosophiascientiae/406 |
| work_keys_str_mv | AT hajimeishihara reversemathematicsinbishopsconstructivemathematics |