We present a theory of abstract interpretations in the framework of invariant sets by
translating the notions of lattices and Galois connections into this framework, and presenting …

This paper presents some steps of defining a finitely supported mathematics by using sets
with atoms. Such a mathematics generalizes the classical Zermelo-Fraenkel mathematics …

Fraenkel-Mostowski set theory represents a tool for managing infinite structures in terms of
finite objects. In this paper we provide a connection between the concept of logical notions …

This paper presents the main steps in defining a Finitely Supported Mathematics by using
sets with atoms. Such a mathematics generalizes the classical Zermelo-Fraenkel …

Finitely Supported Mathematics represents the Zermelo-Fraenkel mathematics reformulated
in the frameworkof invariant sets. We develop a theory of abstract interpretationswhich is …

We start this chapter by presenting some motivation for using nominal sets and Fraenkel-
Mostowski sets in the experimental sciences. We emphasize the subdivisions of the so …