Apartness and Uniformity A Constructive Development /

• Κύριοι συγγραφείς: Bridges, Douglas S. (Συγγραφέας), Vîţă, Luminiţa Simona (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Theory and Applications of Computability, In cooperation with the association Computability in Europe,
• Θέματα: 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...

Πίνακας περιεχομένων:

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