Finitely Supported Mathematics An Introduction /

Show other versions (1)

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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Alexandru, Andrei (Author), Ciobanu, Gabriel (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:1st ed. 2016.
Subjects:
Computer science.
Computer science-Mathematics.
Mathematical logic.
Algebra.
Theory of Computation.
Mathematics of Computing.
Mathematical Logic and Foundations.
Online Access:Texto Completo
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. .

Similar Items