| 書目名稱 | Foundations of Finitely Supported Structures | | 副標題 | A Set Theoretical Vi | | 編輯 | Andrei Alexandru,Gabriel Ciobanu | | 視頻video | http://file.papertrans.cn/347/346964/346964.mp4 | | 概述 | Presents a set theoretical development for the foundations of the theory of finitely supported sets and structures.Authors collect various results on topic and present them in a uniform manner.Valuabl | | 圖書封面 |  | | 描述 | .This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a ‘non-atomic structure‘ with an ‘atomic, finitely supported structure’. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents.?.In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of ‘cardinality‘ by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzysubsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of ‘infinity‘ (Dedekind infinity, Mostowski | | 出版日期 | Book 2020 | | 關鍵詞 | Mathematical Logic; Finitely Supported Sets; Logicality; Lattices; Galois Connections; Abstraction; Infini | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-52962-8 | | isbn_softcover | 978-3-030-52964-2 | | isbn_ebook | 978-3-030-52962-8 | | copyright | Springer Nature Switzerland AG 2020 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-14 06:41
發(fā)表于 2025-3-21 18:08:12
