Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Bridges, Douglas S.; V�??, Lumini?a Simona

ISBN 10: 3642224148 ISBN 13: 9783642224140

Editore: Springer, 2011

Lingua: Inglese

Condizione: Usato - Molto buono Rilegato

Lista dei preferiti

Venduto da Salish Sea Books, Bellingham, WA, U.S.A.

Venditore AbeBooks dal 15 maggio 2007

Valutazione del venditore 5 su 5 stelle

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato - Rilegato

Condizione: Usato - Molto buono

Prezzo:

EUR 66,51

Spedizione EUR 4,30
Spedito in U.S.A.

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

3642224148 Very Good; Hardcover; Light wear to the covers; Unblemished textblock edges; The endpapers and all text pages are bright and unmarked; The binding is tight with a straight spine; This book will be stored and delivered in a sturdy cardboard box with foam padding; Medium Format (8.5" - 9.75" tall); Blue and yellow covers with title in white lettering; 2011, Springer-Verlag Publishing; 198 pages; "Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)," by Douglas S. Bridges & Luminita Simona Vta.

Codice articolo SKU-U47AB19012197

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)
Editore: Springer
Data di pubblicazione: 2011
Lingua: Inglese
ISBN 10: 3642224148
ISBN 13: 9783642224140
Rilegatura: Hardcover
Condizione: Very Good

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

Prof. Douglas S. Bridges is a professor of pure mathematics at the University of Canterbury. His research interests include the constructive foundations of analysis and topology; mathematical economics; computability and abstract complexity theory; and quantum logic. He has published many related articles and papers, among his 8 authored books are "Computability: A Mathematical Sketchbook", "Foundations of Real and Abstract Analysis", and "Techniques of Constructive Analysis". He is a Fellow of the Royal Society of New Zealand, and a Corresponding Fellow of the Royal Society of Edinburgh. Dr. Luminita Simona V�ta is an Adjunct Fellow of the Department of Mathematics and Statistics, University of Canterbury, and a Senior Business Analyst with the New Zealand Customs Service. Her research interests include constructive foundations of analysis and topology, and recursive function theory, computability and complexity. She has published many related articles and papers, and coauthored "Techniques of Constructive Analysis".

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Thank you for taking an interest in one of our books. Please see the "Shipping Terms" section below for details on our shipping and returns policies. We are a mail-order only bookstore located in Bellingham, WA specializing in modern out-of-print books of all genres. If you are an international customer, we ship internationally by UPS Worldwide Expedited. The average delivery time is 1 to 2 weeks, and each shipment can be fully tracked at www.ups.com. For international shipments, it is important to provide a valid phone number with your order. Most international shipments are delivered within 2 weeks. The only exceptions are when the customer has not provided a valid phone number and there are import duties which UPS needs to collect before making final delivery. In those cases, the package will be held at a nearby UPS Access Point until the customer either picks up the package in person or makes arrangements over the phone with UPS to release the package for final delivery. Our shipping charge only covers international postage. Import duties vary widely by country and are additional. We thoroughly clean all books that we offer for sale and do all basic book-repairs ourselves. Basic repairs include repairing slanted bindings, applying additional glue to hinges that have become excessively loose, hinge-tape repairs for damaged hinges, minor binding split repairs, gluing small tears in exterior of covers, removal (as much as possible) of black marker marks to covers of ex-library books, removal of smaller non-permanent stickers, straightening of minor bowing to covers or spine, and applying jacket protectors to books with torn or fragile jackets or for especially pristine or collectible books. We do not do major binding repairs, and any un-repairable binding splits or general weakness in binding will be noted. Any significant repairs such as a hinge-tape repair will also be noted. These repairs do not usually change the underlying condition grade, but do make the book more presentable. Some books are beyond help and will be listed as "Fair/Acceptable" or "Poor". Our books are graded conservatively with library books never graded above "Good" and used books rarely graded above "Very Good". Below is a list of the condition grades we use, in descending order: New/Fine Like New/Near Fine Very Good++ Very Good+ Very Good Minus Good++ Good+ Good Fair-to-Good Fair/Acceptable Poor Very Poor We try to grade accurately, but condition grades are often subjective, so please consider also any condition notes and book photos (when available) before placing an order. All book photos posted to our listings are actual photos of the book offered for sale and have been taken by us.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Salish Sea Books
WA, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Thank you for taking an interest in one of our books. We are a mail-order only bookstore located in Bellingham, WA specializing in modern out-of-print books of all genres.

If you are an international customer, we ship internationally by UPS Worldwide Expedited. The average delivery time is 1 to 2 weeks, and each shipment can be fully tracked at www.ups.com. For international shipments, it is important to provide a valid phone number with your order. Most international shipments are delivered wit...

Ulteriori informazioni

Diritto di recesso

Se sei un consumatore, puoi esercitare il tuo diritto di recesso seguendo le istruzioni riportate di seguito. Per "consumatore" si intende qualsiasi persona fisica che agisca per fini che non rientrano nel quadro della sua attivit� commerciale, industriale, artigianale o professionale.

Informazioni relative al diritto di recesso

Diritto di recesso

Hai il diritto di recedere dal presente contratto, senza indicarne le ragioni, entro 14 giorni.

Il periodo di recesso scade dopo 14 giorni dal giorno in cui

tu acquisisci, o un terzo designato diverso dal vettore e da te acquisisce, il possesso fisico dell'ultimo bene o l'ultimo lotto o pezzo.

Per esercitare il diritto di recesso, sei tenuto a informare Salish Sea Books, 4700 Fieldston Road, 98225, Bellingham, Washington, U.S.A., +1 360-733-1793, della tua decisione di recedere dal presente contratto tramite una dichiarazione esplicita (ad esempio lettera inviata per posta, fax o posta elettronica). A tal fine puoi utilizzare il modulo tipo di recesso, ma non e' obbligatorio. Puoi anche compilare e inviare elettronicamente il modulo tipo di recesso o qualsiasi altra esplicita dichiarazione sul nostro sito web, dalla sezione "Ordini" nel "Mio Account". Nel caso scegliessi questa opzione, ti trasmetteremo senza indugio una conferma di ricevimento su un supporto durevole (ad esempio per posta elettronica).

Per rispettare il termine di recesso, � sufficiente inviare la comunicazione relativa all'esercizio del diritto di recesso prima della scadenza del periodo di recesso.

Effetti del recesso

Se recedi dal presente contratto, ti saranno rimborsati tutti i pagamenti che hai effettuato a nostro favore, compresi i costi di consegna (ad eccezione dei costi supplementari derivanti dalla tua eventuale scelta di un tipo di consegna diverso dal tipo meno costoso di consegna standard da noi offerto). Potremo trattenere dal rimborso le somme derivanti da una diminuzione del valore del prodotto risultante da una tua non necessaria manipolazione.

I rimborsi verranno effettuati senza indebito ritardo e in ogni caso non oltre 14 giorni dal giorno in cui siamo stati informati della tua decisione di recedere dal presente contratto.

Detti rimborsi saranno effettuati utilizzando lo stesso mezzo di pagamento da te usato per la transazione iniziale, salvo che tu non abbia espressamente convenuto altrimenti; in ogni caso, non dovrai sostenere alcun costo quale conseguenza di tale rimborso. Il rimborso pu� essere sospeso fino al ricevimento dei beni oppure fino all'avvenuta dimostrazione da parte tua di aver rispedito i beni, se precedente.

Ti preghiamo di rispedire i beni o di consegnarli a Salish Sea Books, 4700 Fieldston Road, 98225, Bellingham, Washington, U.S.A., +1 360-733-1793, senza indebiti ritardi e in ogni caso entro 14 giorni dal giorno in cui hai comunicato il tuo recesso dal presente contratto. Il termine � rispettato se rispedisci i beni prima della scadenza del periodo di 14 giorni. I costi diretti della restituzione dei beni saranno a tuo carico. Sei responsabile solo della diminuzione del valore dei beni risultante da una manipolazione del bene diversa da quella necessaria per stabilire la natura, le caratteristiche e il funzionamento dei beni.

Eccezioni al diritto di recesso

Il diritto di recesso non si applica in caso di:

fornitura di giornali, periodici e riviste ad eccezione dei contratti di abbonamento per la fornitura di tali pubblicazioni;
fornitura di contenuto digitale (inclusi applicazioni, software, ebook, MP3, ecc.) mediante un supporto non materiale (per esempio un CD o un DVD) se al momento dell'inoltro dell'ordine hai espressamente consentito all'inizio dell'esecuzione accettando la perdita del diritto di recesso in conseguenza dell'inizio di esecuzione.

Modulo di recesso tipo

(Compilare e restituire il presente modulo solo se si desidera recedere dal contratto)

Destinatario: (Salish Sea Books, 4700 Fieldston Road, 98225, Bellingham, Washington, U.S.A., +1 360-733-1793)

Con la presente io/noi (*) notifichiamo il recesso dal mio/nostro (*) contratto di vendita dei seguenti beni/servizi (*)

Ordinato il (*) /ricevuto il (*)

Nome del/dei consumatore(i)

Indirizzo del/dei consumatore(i)

Firma del/dei consumatore(i) (solo se il presente modulo � notificato in versione cartacea)

Data

(*) Cancellare la dicitura inutile.

Condizioni di spedizione

SHIPPING POLICY: For Domestic orders, we ship through the US Post Office and orders can be tracked at www.usps.com. Orders priced at $250 and above will require a signature upon delivery.

For International orders, we ship exclusively through UPS using their Worldwide Expedited shipping service. This is highly reliable courier service with most orders delivered within 1 to 2 weeks. Shipments can be tracked at www.ups.com.

For international shipments, it is important to provide a valid phone number so that you can be contacted by UPS (if necessary) to make final delivery arrangements. Our shipping price is for postage only. Import duties vary widely by country and are the responsibility of the customer.

RETURNS POLICY: We offer an unconditional 30 day return policy: books can be returned for any reason if sent back within 30 days of the date they are received. The buyer is responsible for shipping charges unless the book was mis-described, in which case we will be responsible for all shipping charges. If you need to return a book, please contact us through ABE and we will forward full return instructions.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 5 a 14 giorni lavorativi	Da 1 a 3 giorni lavorativi
Primo articolo	EUR 4.30	EUR 11.16

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.