Apartness and Uniformity A Constructive Development

Apartness and Uniformity A Constructive Development / by Douglas S. Bridges, Luminiţa Simona Vîţă.

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

Saved in:
Bibliographic Details
Main Authors: Bridges, Douglas S. (Author), Vîţă, Luminiţa Simona (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edition:1st ed. 2011.
Series:Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Springer eBook Collection.
Subjects:
Computers.
Computer science—Mathematics.
Topology.
Mathematical analysis.
Analysis (Mathematics).
Mathematical logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • The Constructive Framework
  • Point-Set Apartness
  • Apartness Between Sets
  • Postlude: Paths to Topology
  • References
  • Index.

Similar Items