𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Constructive Maximal Point Space

✍ Scribed by Michael B. Smyth

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
192 KB
Volume
74
Category
Article
ISSN
1571-0661

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

On some peculiar aspects of the construc
On some peculiar aspects of the constructive theory of point-free spaces
✍ Giovanni Curi πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 162 KB

## Abstract This paper presents several independence results concerning the topos‐valid and the intuitionistic (generalised) predicative theory of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle with constructive set theory and t