@article{mahboubi:hal-01376054, TITLE = {{An Induction Principle over Real Numbers}}, AUTHOR = {Mahboubi, Assia}, URL = {https://inria.hal.science/hal-01376054}, JOURNAL = {{Archive for Mathematical Logic}}, PUBLISHER = {{Springer Verlag}}, YEAR = {2016}, DOI = {10.1007/s00153-016-0513-8}, KEYWORDS = {Open induction ; bar induction ; real numbers ; constructive analysis}, PDF = {https://inria.hal.science/hal-01376054/file/main.pdf}, HAL_ID = {hal-01376054}, HAL_VERSION = {v1}, }