An induction principle over real numbers (Q512134)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An induction principle over real numbers |
scientific article |
Statements
An induction principle over real numbers (English)
0 references
24 February 2017
0 references
In this paper, the author establishes a constructive proof of the open induction principle on real numbers and uses the concept of bar induction and enumerative open sets. Also, the algorithmic content of the result proved is mentioned here. The paper also contains a resourceful reference list at the end.
0 references
open induction
0 references
bar induction
0 references
real numbers and constructive analysis
0 references
enumerative open set
0 references
dyadic number
0 references
encoding
0 references
