Dening Finitely Supported Mathematics over Sets with Atoms (Dening instead of Defining)
Andrei Alexandru, Gabriel Ciobanu · 2015
This paper presents some steps of defining a finitely sup- ported mathematics by using sets with atoms. Such a mathematics gen- eralizes the classical Zermelo-Fraenkel mathematics, and represents an appropriate framework to work with (infinite) structures in terms of finitely supported objects. We focus on the techniques of translating the Zermelo-Fraenkel results to this finitely supported mathematics over sets with atoms.