𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Apartness, Topology, and Uniformity: a Constructive View

✍ Scribed by Douglas Bridges; Peter Schuster; Luminiţa Vîţă

Publisher
John Wiley and Sons
Year
2002
Tongue
English
Weight
188 KB
Volume
48
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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 apartness on R that cannot be induced constructively by a uniform structure.

📜 SIMILAR VOLUMES

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 topology induced by uniformity on BL-a
A topology induced by uniformity on BL-algebras
✍ Masoud Haveshki; Esfandiar Eslami; Arsham Borumand Saeid 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 149 KB

## Abstract In this paper, we consider a collection of filters of a BL‐algebra __A__. We use the concept of congruence relation with respect to filters to construct a uniformity which induces a topology on __A__. We study the properties of this topology regarding different filters. (© 2007 WILEY‐VC

Henselian valued fields: a constructive
Henselian valued fields: a constructive point of view
✍ Hervé Perdry 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB

This article is a logical continuation of the Henri Lombardi and Franz-Viktor Kuhlmann article [9]. We address some classical points of the theory of valued fields with an elementary and constructive point of view. We deal with Krull valuations, and not simply discrete valuations. First of all, we s