Foundations of Finitely Supported Structures: A Set Theoretical Viewpoint
暫譯: 有限支持結構的基礎:集合論觀點
Alexandru, Andrei, Ciobanu, Gabriel
相關主題
商品描述
The World of Structures with Finite Supports.- Finitely Supported Sets: Formal Results.- Choice Principles in Finitely Supported Mathematics.- Connections with Tarski's Concept of Logicality.- Partially Ordered Sets in Finitely Supported Mathematics.- Lattices in Finitely Supported Mathematics.- Constructions of Lattices in Finitely Supported Mathematics.- Galois Connections in Finitely Supported Mathematics.- Several Forms of Infinity in Finitely Supported Mathematics.- Properties of Atoms in Finitely Supported Mathematics.- Freshness in Finitely Supported Mathematics.- Abstraction in Finitely Supported Mathematics.- Relaxing the Finite Support Requirement.
商品描述(中文翻譯)
有限支撐結構的世界.- 有限支撐集合:形式結果.- 有限支撐數學中的選擇原則.- 與塔斯基的邏輯性概念的聯繫.- 有限支撐數學中的偏序集合.- 有限支撐數學中的格.- 有限支撐數學中格的構造.- 有限支撐數學中的伽羅瓦連接.- 有限支撐數學中的幾種無窮形式.- 有限支撐數學中原子的性質.- 有限支撐數學中的新鮮度.- 有限支撐數學中的抽象.- 放寬有限支撐要求。