Finitely Supported Mathematics: An Introduction

Sprache: Englisch

Verlag: Springer, Cham, 2016

3319422812 / 9783319422817

  • Erstausgabe
  • Hardcover
  • Gebraucht
Alle Details anzeigen

Anbieter: Allen Williams Books, Dover, Kent, Vereinigtes KönigreichAllen Williams Books

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Mai 2017

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Gebraucht - Gut

EUR 17,97

EUR 26,76 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Bottom tips of the boards have been bumped. Remnants of a past retailer's label on the rear board. In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi. Size: 8vo - over 7¾" - 9¾" tall.

Bestandsnummer des Verkäufers 159776

Titel
Finitely Supported Mathematics: An Introduction
Autor
Andrei Alexandru & Gabriel Ciobanu
Verlag
Springer, Cham
Veröffentlichungsjahr
2016
Zustand
Very Good
Schutzumschlag
Picture Boards
Buchtyp
Book
Einband
Hardcover
Sprache
Englisch
ISBN-10
3319422812
ISBN-13
9783319422817
Ausgabe
1st Edition.

Allen Williams Books

Dover, Kent, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 2. Mai 2017

Versandkosten von Vereinigtes Königreich nach USA

Artikel5 bis 14 Werktage5 bis 15 Werktage
Erster ArtikelEUR 26,76EUR 26,76
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Bar
  • PayPal
  • Vorauskasse

Spezialisierung

New & Used

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Allen Williams Books

Vereinigtes Königreich