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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Bridges, Douglas S. (Autor), Vîţă, Luminiţa Simona (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Temas:
Computer science.
Computer science-Mathematics.
Topology.
Mathematical analysis.
Mathematical logic.
Theory of Computation.
Mathematics of Computing.
Analysis.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • The Constructive Framework
  • Point-Set Apartness
  • Apartness Between Sets
  • Postlude: Paths to Topology
  • References
  • Index.

Ejemplares similares