𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formal Systems of Constructive Mathematics

✍ Scribed by M. H. Löb

Book ID
124949627
Publisher
Association for Symbolic Logic
Year
1956
Tongue
English
Weight
824 KB
Volume
21
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complements of Intersections in Construc
Complements of Intersections in Constructive Mathematics
✍ Douglas S. Bridges; Hajime Ishihara 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 488 KB

## Abstract We examine, from a constructive perspective, the relation between the complements of __S, T__, and __S__ ∩ __T__ in __X__, where __X__ is either a metric space or a normed linear space. The fundamental question addressed is: If __x__ is distinct from each element of __S__ ∩ __T__, if __