Apartness and Uniformity

A Constructive Development

By Douglas S. Bridges , Luminiţa Simona Vîţă

Apartness and Uniformity Cover Image

This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science.

Full Description

  • ISBN13: 978-3-6422-2414-0
  • 212 Pages
  • User Level: Science
  • Publication Date: September 8, 2011
  • Available eBook Formats: PDF
  • eBook Price: $99.00
Buy eBook Buy Print Book Add to Wishlist
Full Description
Table of Contents

Table of Contents

  1. The Constructive Framework.
  2. Point
  3. Set Apartness.
  4. Apartness Between Sets.
  5. Postlude: Paths to Topology.
  6. References.
  7. Index.
Errata

Please Login to submit errata.

No errata are currently published