An Induction Principle over Real Numbers
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.
Origin : Files produced by the author(s)
Loading...