✦ LIBER ✦

Metric complements of overt closed sets

✍ Scribed by Thierry Coquand; Erik Palmgren; Bas Spitters

Publisher: John Wiley and Sons
Year: 2011
Tongue: English
Weight: 117 KB
Volume: 57
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.201010011

No coin nor oath required. For personal study only.

✦ Synopsis

We show that the set of points of an overt closed subspace of a metric completion of a Bishop-locally compact metric space is located. Consequently, if the subspace is, moreover, compact, then its collection of points is Bishop-compact.

📜 SIMILAR VOLUMES

Constructive complements of unions of tw

Constructive complements of unions of two closed sets

✍ Douglas S. Bridges 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 69 KB

## Abstract It is well known that in Bishop‐style constructive mathematics, the closure of the union of two subsets of ℝ is ‘not’ the union of their closures. The dual situation, involving the complement of the closure of the union, is investigated constructively, using completeness of the ambient

Applications of Deviation Inequalities o

Applications of Deviation Inequalities on Finite Metric Sets

✍ Jesús Bastero; Julio Bernués 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 339 KB 👁 1 views

Arcwise Connectedness of Closed Efficien

Arcwise Connectedness of Closed Efficient Point Sets

✍ E.K. Makarov; N.N. Rachkovski; Wen Song 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 80 KB

Computability of measurable sets via eff

Computability of measurable sets via effective metrics

✍ Yongcheng Wu; Decheng Ding 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 199 KB

We consider how to represent the measurable sets in an infinite measure space. We use sequences of simple measurable sets converging under metrics to represent general measurable sets. Then we study the computability of the measure and the set operators of measurable sets with respect to such repres

Characterization of L1-Closed Decomposab

Characterization of L1-Closed Decomposable Sets in L∞

✍ Zsolt Páles; Vera Zeidan 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 168 KB

A graph-theoretic version of the union-c

A graph-theoretic version of the union-closed sets conjecture

✍ El-Zahar, Mohamed H. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB 👁 2 views

An induced subgraph S of a graph G is called a derived subgraph of G if S contains no isolated vertices. An edge e of G is said to be residual if e occurs in more than half of the derived subgraphs of G. We introduce the conjecture: Every non-empty graph contains a non-residual edge. This conjecture