| 书目名称 | Finitely Supported Mathematics |
| 副标题 | An Introduction |
| 编辑 | Andrei Alexandru,Gabriel Ciobanu |
| 视频video | http://file.papertrans.cn/344/343700/343700.mp4 |
| 概述 | Presents an alternative set theory dealing with a more relaxed notion of infiniteness.Shows the principles of constructing FSM have historical roots in the definition of Tarski logical notions and in |
| 图书封面 |  |
| 描述 | .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 bot |
| 出版日期 | Book 2016 |
| 关键词 | Fraenkel-Mostowski (FM) Set Theory; Finitely Supported Mathematics; Process Algebra; Semantics; Algebrai |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-42282-4 |
| isbn_softcover | 978-3-319-82545-8 |
| isbn_ebook | 978-3-319-42282-4 |
| copyright | Springer International Publishing Switzerland 2016 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-12 12:42
发表于 2025-3-21 17:12:44
