Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
