An induction principle over real numbers

Archive for Mathematical Logic 56 (1-2):43-49 (2017)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-016-0513-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

WEIHRAUCH, K. and KREITZ, C., Representations of the real numbers and of the open subsets of the set of real numbers WILKIE, AJ and PARIS, JB, On the scheme of induction for bounded arithmetic formulas. [REVIEW]Las Kirby & R. Diaconescu - 1987 - Annals of Pure and Applied Logic 35:303.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
Order‐free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
Primitive recursive real numbers.Qingliang Chen, Kaile Kaile & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4):365-380.
Introduction to mathematical thinking: the formation of concepts in modern mathematics.Friedrich Waismann - 1951 - Mineola, N.Y.: Dover Publications.
Some theories with positive induction of ordinal strength ϕω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.
An induction principle and pigeonhole principles for k-finite sets.Andreas Blass - 1995 - Journal of Symbolic Logic 60 (4):1186-1193.
Counter-induction.John L. Pollock - 1962 - Inquiry: An Interdisciplinary Journal of Philosophy 5 (1-4):284 – 294.
The uniformity of nature.Wesley C. Salmon - 1953 - Philosophy and Phenomenological Research 14 (1):39-48.
Representations of the real numbers and of the open subsets of the set of real numbers.Klaus Weihrauch & Christoph Kreitz - 1987 - Annals of Pure and Applied Logic 35 (C):247-260.
On Σ‐definability without equality over the real numbers.Andrei S. Morozov & Margarita V. Korovina - 2008 - Mathematical Logic Quarterly 54 (5):535-544.
Some Theories with Positive Induction of Ordinal Strength $varphiomega 0$.Gerhard Jager & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.

Analytics

Added to PP
2014-03-09

Downloads
19 (#796,059)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.

Add more references