Synopses & Reviews
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.