An induction principle over real numbers (Q512134)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An induction principle over real numbers |
scientific article; zbMATH DE number 6688535
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An induction principle over real numbers |
scientific article; zbMATH DE number 6688535 |
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
