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

An Induction Principle over Real Numbers

Assia Mahboubi
  • Fonction : Auteur
Symbolic Special Functions : Fast and Certified

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
main.pdf (232.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Assia Mahboubi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01376054

Soumis le : mardi 4 octobre 2016-10:36:29

Dernière modification le : jeudi 21 novembre 2024-15:12:02

Archivage à long terme le : vendredi 3 février 2017-14:44:47

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
194 Consultations
1241 Téléchargements

Altmetric

Partager

More