An induction principle over real numbers

Assia Mahboubi*

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

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.

Original languageEnglish
Pages (from-to)43-49
Number of pages7
JournalArchive for Mathematical Logic
Volume56
Issue number1-2
DOIs
Publication statusPublished - 1 Feb 2017
Externally publishedYes

Keywords

  • Bar induction
  • Constructive analysis
  • Open induction
  • Real numbers

Fingerprint

Dive into the research topics of 'An induction principle over real numbers'. Together they form a unique fingerprint.

Cite this