| 書目名稱 | Finitely Supported Mathematics |
| 副標(biāo)題 | 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 |
| 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 13:07
發(fā)表于 2025-3-21 17:12:44
