𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Apartness spaces as a framework for constructive topology

✍ Scribed by Douglas Bridges; Luminiţa Vı̂ţă

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
195 KB
Volume
119
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Apartness, Topology, and Uniformity: a C
Apartness, Topology, and Uniformity: a Constructive View
✍ Douglas Bridges; Peter Schuster; Luminiţa Vîţă 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB

The theory of apartness spaces, and their relation to topological spaces (in the point-set case) and uniform spaces (in the set-set case), is sketched. New notions of local decomposability and regularity are investigated, and the latter is used to produce an example of a classically metrisable apart

A constructive treatment of Urysohn's Le
A constructive treatment of Urysohn's Lemma in an apartness space
✍ Douglas Bridges; Hannes Diener 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 106 KB

## Abstract __This paper is dedicated to Prof. Dr. Günter Asser, whose work in founding this journal and maintaining it over many difficult years has been a major contribution to the activities of the mathematical logic community.__ At first (maybe even at second) sight it appears highly unlikely

A fuzzy topological framework for classi
A fuzzy topological framework for classifying image databases
✍ Homa Fashandi; James F. Peters 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 443 KB

The problem considered in this paper is how to classify image databases in terms of semantically coherent image categories. An image category (image concept) is represented by a set of images with visual and semantic similarities. We propose a topological framework to model each image concept and al