An Induction Principle over Real Numbers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Archive for Mathematical Logic Année : 2016

An Induction Principle over Real Numbers

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Assia Mahboubi. An Induction Principle over Real Numbers. Archive for Mathematical Logic, 2016, ⟨10.1007/s00153-016-0513-8⟩. ⟨hal-01376054⟩
181 Consultations
1123 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More