Finitely Supported Mathematics An Introduction /

• Κύριοι συγγραφείς: Alexandru, Andrei (Συγγραφέας), Ciobanu, Gabriel (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Θέματα: 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 (...

Πίνακας περιεχομένων:

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