Finitely Supported Mathematics An Introduction /
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 (...
Call Number: | Libro Electrónico |
---|---|
Main Authors: | , |
Corporate Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Edition: | 1st ed. 2016. |
Subjects: | |
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. .