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.
Type de document :
Article dans une revue
Archive for Mathematical Logic, Springer Verlag, 2016, 〈10.1007/s00153-016-0513-8〉
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01376054
Contributeur : Assia Mahboubi <>
Soumis le : mardi 4 octobre 2016 - 10:36:29
Dernière modification le : vendredi 17 février 2017 - 16:14:29
Document(s) archivé(s) le : vendredi 3 février 2017 - 14:44:47

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

157