Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Apartness and Uniformity

Apartness and Uniformity

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642224157
Condition
New
Product 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 quasiuniform space, perhaps the most important type of set-set apartness space. Quasiuniform spaces play a major role in the remainder of the chapter, which covers such topics as the connection between uniform and strong continuity (arguably the most technically difficult part of the book), apartness and convergence in function spaces, types of completeness, and neat compactness. Each chapter has a Notes section, in which are found comments on the definitions, results, and proofs, as well as occasional pointers to future work. The book ends with a Postlude that refers to other constructive approaches to topology, with emphasis on the relation between apartness spaces and formal topology. Largely an exposition of the authors' own research, this is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

The Politics of Citizenship in Indonesia

$99.00

Intelligent Computing

$219.99

Schlanker Materialfluss

$159.99

Simplifying Strabismus

$49.99

Life System Modeling and Intelligent Computing

$39.99

Benutzerwerkzeuge an Fertigungssteuerungs-Leitstnden

$59.99

World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany

$219.99

Zauber des Huangshan

$54.99

Praktische Psychologie fr den Umgang mit Mitarbeitern

$44.99

Automotive Software Engineering

$99.99

Acoustic Cues in the Disambiguation of Polysemous Strings

$54.99

Functional Analysis of Long Non-Coding RNAs

$169.99

Absolute Allergy and Immunology Board Review

$159.99

Special Topics in Structural Dynamics & Experimental Techniques, Volume 5

$169.99

Diminished Ovarian Reserve and Assisted Reproductive Technologies

$159.99

East Asia and Iran Sanctions

$139.99

Discounting, LIBOR, CVA and Funding

$69.99

Xenobiotics in the Urban Water Cycle

$259.00

Automatic Generation of Morphological Set Recognition Algorithms

$84.99

Faith and Impiety in Revolutionary Mexico

$39.99

Cosmic Magnetic Fields

$84.99

Semiotics and Pragmatism

$109.99

Health, Culture and Society

$119.99

HCI International 2023 Posters

$89.00

Konstruieren mit Faser-Kunststoff-Verbunden

$99.00

Ultrasonographic Anatomy of the Face and Neck for Minimally Invasive Procedures

$279.99

Pro Couchbase Server

$44.99

Particles in Contact

$169.99

Life the Play of Life on the Stage of the World in Fine Arts, Stage-Play, and Literature

$109.99

Gerodontology Essentials for Health Care Professionals

$79.99

Encapsulation Technologies for Active Food Ingredients and Food Processing

$129.00

Industry 4.0: Industrial Revolution of the 21st Century

$149.00

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

$169.99

Diversity Training for Classroom Teaching

$39.99

Global Bifurcation Theory and Hilberts Sixteenth Problem

$39.99

Untersuchngen zur Isolierung von Einschlssen und Korngrenzensubstanzen in Eisenwerkstoffen nach dem

$44.99

Magnetomicrofluidic Circuits for Single-Bioparticle Transport

$159.99

Fhrung mit Sinn

$29.99

Proceedings of the International Petroleum and Petrochemical Technology Conference 2020

$279.99

Un/doing deportation Die Arbeit an der Ausreisepflicht

$74.99