A constructive look at the completeness of the space $\mathcal{d} (\mathbb{r})$

&
Journal of Symbolic Logic 67 (4):1511-1519 (2002)
  Copy   BIBTEX

Abstract

We show, within the framework of Bishop's constructive mathematics, that (sequential) completeness of the locally convex space $\mathcal{D} (\mathbb{R})$ of test functions is equivalent to the principle BD-N which holds in classical mathemtatics, Brouwer's intuitionism and Markov's constructive recursive mathematics, but does not hold in Bishop's constructivism

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1190150296

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

A constructive look at the completeness of the space (ℝ).Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
The constructive completion of the space?Satoru Yoshida - 2005 - Mathematical Logic Quarterly 51 (1):77-82.
The Banach‐Steinhaus theorem for the space ????(ℝ) in constructive analysis.Satoru Yoshida - 2003 - Mathematical Logic Quarterly 49 (3):305-315.
A Definitive Constructive Open Mapping Theorem?Douglas Bridges & Hajime Ishihara - 1998 - Mathematical Logic Quarterly 44 (4):545-552.
Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.Iris Loeb - 2008 - Logic Journal of the IGPL 16 (3):269-273.
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Constructive aspects of Riemann’s permutation theorem for series.J. Berger, Douglas Bridges, Hannes Diener & Helmet Schwichtenberg - 2023 - Logic Journal of the IGPL 33 (1):49-61.
On Weak Markov's Principle.Ulrich Kohlenbach - 2002 - Mathematical Logic Quarterly 48 (S1):59-65.
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.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.

Analytics

Added to PP
2009-01-28

Downloads
356 (#83,293)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive notions of equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Reflections on function spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.
Intuitionistic notions of boundedness in ℕ.Fred Richman - 2009 - Mathematical Logic Quarterly 55 (1):31-36.
Continuity properties of preference relations.Marian A. Baroni & Douglas S. Bridges - 2008 - Mathematical Logic Quarterly 54 (5):454-459.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references