Abstract
We give a constructive proof of the open induction principle on real numbers, using bar induction and enumerative open sets. We comment the algorithmic content of this result.
Original language | English |
---|---|
Pages (from-to) | 43-49 |
Number of pages | 7 |
Journal | Archive for Mathematical Logic |
Volume | 56 |
Issue number | 1-2 |
DOIs | |
Publication status | Published - 1 Feb 2017 |
Externally published | Yes |
Keywords
- Bar induction
- Constructive analysis
- Open induction
- Real numbers