Mathematical Logic Quarterly 51 (1):77-82 (2005)

We prove in the framework of Bishop's constructive mathematics that the sequential completion equation image of the space [MATHEMATICAL SCRIPT CAPITAL D] is filter-complete. Then it follows as a corollary that the filter-completeness of [MATHEMATICAL SCRIPT CAPITAL D] is equivalent to the principle BD-ℕ, which can be proved in classical mathematics, Brouwer's intuitionistic mathematics and constructive recursive mathematics of Markov's school, but does not in Bishop's constructive mathematics. We also show that equation image is identical with the filter-completion which was provided by Bishop
Keywords BD‐ℕ  pseudobounded  filter‐completeness  sequential completeness  Constructive mathematics
Categories (categorize this paper)
DOI 10.1002/malq.200310128
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,666
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Reflections on Function Spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.

Add more citations

Similar books and articles

Constructive Notions of Equicontinuity.Douglas S. Bridges - 2009 - Archive for Mathematical Logic 48 (5):437-448.
Continuity Properties in Constructive Mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
Varieties of Constructive Mathematics.D. S. Bridges - 1987 - Cambridge University Press.
Compactness Notions for an Apartness Space.Douglas S. Bridges - 2012 - Archive for Mathematical Logic 51 (5-6):517-534.
Can Constructive Mathematics Be Applied in Physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.


Added to PP index

Total views
24 ( #415,922 of 2,349,172 )

Recent downloads (6 months)
2 ( #331,146 of 2,349,172 )

How can I increase my downloads?


My notes