Apartness and Uniformity A Constructive Development /

• 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: Computer science.; Computers.; Computer science > Mathematics.; Mathematical analysis.; Analysis (Mathematics).; Mathematical logic.; Topology.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Analysis.; Mathematical Logic and Foundations.

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...

Table of Contents:

• The Constructive Framework
• Point-Set Apartness
• Apartness Between Sets
• Postlude: Paths to Topology
• References
• Index.