Apartness and Uniformity A Constructive Development /

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides som...

Full description

Bibliographic Details
Main Authors: Bridges, Douglas S. (Author), Vîţă, Luminiţa Simona (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Series:Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Subjects:
Online Access:Full Text via HEAL-Link
Table of Contents:
  • The Constructive Framework
  • Point-Set Apartness
  • Apartness Between Sets
  • Postlude: Paths to Topology
  • References
  • Index.