2 research outputs found
An Induction Principle over Real Numbers
Get PDFInternational audienceWe 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
An induction principle over real numbers
No full textInternational audienceWe 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
