The constructive completion of the space
✍
Satoru Yoshida
📂
Article
📅
2005
🏛
John Wiley and Sons
🌐
English
⚖ 115 KB
## Abstract We prove in the framework of Bishop's constructive mathematics that the sequential completion \documentclass{article}\usepackage{amssymb}\pagestyle{empty}\begin{document}$ \tilde {\cal D} $\end{document}(ℝ) of the space 𝒟(ℝ) is filter‐complete. Then it follows as a corollary that the fi