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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/hal-01376054
Contributor : Assia Mahboubi <>
Submitted on : Tuesday, October 4, 2016 - 10:36:29 AM
Last modification on : Friday, February 17, 2017 - 4:14:29 PM
Long-term archiving on: Friday, February 3, 2017 - 2:44:47 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Assia Mahboubi. An Induction Principle over Real Numbers. Archive for Mathematical Logic, Springer Verlag, 2016, ⟨10.1007/s00153-016-0513-8⟩. ⟨hal-01376054⟩

Share

Metrics

Record views

325

Files downloads

390