𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The universal completion of an Archimedean Riesz space

✍ Scribed by A.C. Zaanen

Publisher
Elsevier Science
Year
1983
Weight
345 KB
Volume
86
Category
Article
ISSN
1385-7258

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The constructive completion of the space
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