An induction principle over real numbers

Assia Mahboubi

doi:10.1007/s00153-016-0513-8

An induction principle over real numbers

Assia Mahboubi^*

^*Corresponding author for this work

Research output: Contribution to Journal › Article › Academic › peer-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 language	English
Pages (from-to)	43-49
Number of pages	7
Journal	Archive for Mathematical Logic
Volume	56
Issue number	1-2
DOIs	https://doi.org/10.1007/s00153-016-0513-8
Publication status	Published - 1 Feb 2017
Externally published	Yes

Keywords

Bar induction
Constructive analysis
Open induction
Real numbers

Access to Document

10.1007/s00153-016-0513-8

Persistent URL (handle)

Persistent link

Cite this

@article{9c566e84b9844af38949102b7a4ec029,

title = "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.",

keywords = "Bar induction, Constructive analysis, Open induction, Real numbers",

author = "Assia Mahboubi",

year = "2017",

month = feb,

day = "1",

doi = "10.1007/s00153-016-0513-8",

language = "English",

volume = "56",

pages = "43--49",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "1-2",

}

TY - JOUR

T1 - An induction principle over real numbers

AU - Mahboubi, Assia

PY - 2017/2/1

Y1 - 2017/2/1

N2 - 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.

AB - 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.

KW - Bar induction

KW - Constructive analysis

KW - Open induction

KW - Real numbers

UR - https://www.scopus.com/pages/publications/84991063401

UR - https://www.scopus.com/pages/publications/84991063401#tab=citedBy

U2 - 10.1007/s00153-016-0513-8

DO - 10.1007/s00153-016-0513-8

M3 - Article

AN - SCOPUS:84991063401

SN - 0933-5846

VL - 56

SP - 43

EP - 49

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 1-2

ER -

An induction principle over real numbers

Abstract

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this