| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 11010131 | Indagationes Mathematicae | 2018 | 14 Pages |
Abstract
We reconsider Ishihara (1991, 1992) within a weak formalised framework of constructive reverse mathematics, focusing on Brouwer's continuity principle for a mapping from the Baire space into the natural numbers.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Hajime Ishihara,