Double sequences, almost Cauchyness and BD-N

, &
Logic Journal of the IGPL 20 (1):349-354 (2012)
  Copy   BIBTEX

Abstract

It is shown that, relative to Bishop-style constructive mathematics, the boundedness principle BD-N is equivalent both to a general result about the convergence of double sequences and to a particular one about Cauchyness in a semi-metric space

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzr045

Links

PhilArchive



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

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

An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.
Review: M. Adrian Carpentier, Creative Sequences and Double Sequences. [REVIEW]J. P. Cleave - 1970 - Journal of Symbolic Logic 35 (4):590-590.
Creative sequences and double sequences.M. Adrian Carpentier - 1968 - Notre Dame Journal of Formal Logic 9 (1):35-61.
Specker sequences revisited.Jakob G. Simonsen - 2005 - Mathematical Logic Quarterly 51 (5):532-540.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Decidability and Specker sequences in intuitionistic mathematics.Mohammad Ardeshir & Rasoul Ramezanian - 2009 - Mathematical Logic Quarterly 55 (6):637-648.
Sequences of real functions on [0, 1] in constructive reverse mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
Relative lawlessness in intuitionistic analysis.Joan Rand Moschovakis - 1987 - Journal of Symbolic Logic 52 (1):68-88.
On the Cauchy completeness of the constructive Cauchy reals.Robert S. Lubarsky - 2007 - Mathematical Logic Quarterly 53 (4‐5):396-414.
Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
More about relatively lawless sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
Complete enumerations and double sequences.M. Adrian Carpentier - 1969 - Mathematical Logic Quarterly 15 (1‐3):1-6.
Finitary sequence spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):416-430.
Brouwer meets Husserl: on the phenomenology of choice sequences.Markus Sebastiaan Paul Rogier van Atten - 2007 - Dordrecht: Springer.
Extending OpenMath with Sequences.Fulya Horozal, Florian Rabe & Michael Kohlhase - unknown

Analytics

Added to PP
2015-02-04

Downloads
23 (#666,649)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Principles weaker than BD-N.Robert S. Lubarsky & Hannes Diener - 2013 - Journal of Symbolic Logic 78 (3):873-885.

Add more citations

References found in this work

No references found.

Add more references