An Induction Principle over Real Numbers - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Archive for Mathematical Logic Year : 2016

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.
Fichier principal
Vignette du fichier
main.pdf (232.95 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01376054 , version 1 (04-10-2016)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More