Finitely Supported Mathematics An Introduction /

• Main Authors: Alexandru, Andrei (Author), Ciobanu, Gabriel (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Subjects: Computer science.; Computers.; Computer science > Mathematics.; Algebra.; Mathematical logic.; Computer Science.; Theory of Computation.; Mathematics of Computing.; Mathematical Logic and Foundations.

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 (...

Table of Contents:

• Introduction
• Fraenkel-Mostowski Set Theory: A Framework for Finitely Supported Mathematics
• Algebraic Structures in Finitely Supported Mathematics
• Extended Fraenkel-Mostowski Set Theory
• Process Calculi in Finitely Supported Mathematics
• References. .