New item Free shipping Pay Now
Add this item to Cart for a combined free shipping deal
Click to enlarge photo

Listing Detail Tabs

This item has FREE SHIPPING to any address in NZ

NOTE: Item will ship from our US warehouse. A handling time of 2-4 business days applies for all orders. Delivery will then take 3-10 working days.

Apartness and Uniformity

Condition: BRAND NEW
ISBN: 9783642224140
Author(s): Douglas S. Bridges
Format: Hardcover
Year: 2011
Edition: 2011th
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dimensions: 156 x 12 x 234 (w x l x h)
Pages: 212
Series: Theory and Applications of Computability

BUYER OFFERS: We are a retail store with set pricing and unfortunately we can't fulfil any requests to sell items for less than the listed price.

Description:
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 some guidance for the theory of apartness, the notion of nearness/proximity does not embody enough algorithmic information for a deep constructive development. The use of constructive (intuitionistic) logic in this book requires much more technical ingenuity than one finds in classical proximity theory -- algorithmic information does not come cheaply -- but it often reveals distinctions that are rendered invisible by classical logic. In the first chapter the authors outline informal constructive logic and set theory, and, briefly, the basic notions and notations for metric and topological spaces. In the second they introduce axioms for a point-set apartness and then explore some of the consequences of those axioms. In particular, they examine a natural topology associated with an apartness space, and relations between various types of continuity of mappings.
In the third chapter the authors extend the notion of point-set (pre-)apartness axiomatically to one of (pre-)apartness between subsets of an inhabited set. They then provide axioms for a quas Please click here to ask a question
Your question and answer privileges have been disabled.
You must log in to view questions and answers on this listing. We recommend reading questions before you make any purchases.
Please log in to view questions and answers on this listing. We recommend reading questions before you make any purchases. Available only to approved bidders. You must be an authenticated member to ask questions Find out more about becoming authenticated. Your account is in debt Your current account balance is You must credit your account to use this feature.
Firearms Licence #
By entering my licence number, I confirm I am aware of my obligations under the Arms Act.
Transaction details may be provided to police in accordance with the Terms & Conditions.
Your current account balance is Please note you will lose your question and answer privileges if your account is in debt for more than 2 weeks. Credit your account.
I confirm that I am over 18 years old.
To prevent your personal details being misused please do not put emails or phone numbers in questions. Failure to comply may result in the suspension of your account. The seller cannot add a Buy Now price once bidding has started.

Shipping options

  • Free shipping within New Zealand  
  • Store does not allow pick-ups
  • Store location: Auckland City, Auckland, NZ

Payment options

  • NZ bank deposit
  • Card payments
    • Pay Now

    Pay Now includes:

    Buyer Protection Learn More