IMI/Publicaţii/CSJM/Ediţii/CSJM v.29, n.1 (85), 2021/

Properties of Finitely Supported Self - Mappings on the Finite Powerset of Atoms

Authors: Andrei Alexandru
Keywords: finitely supported structures, atoms, finite pow- erset, injectivity, surjectivity, fixed points.


The theory of finitely supported algebraic structures repre- sents a reformulation of Zermelo-Fraenkel set theory in which every classical structure is replaced by a finitely supported struc- ture according to the action of a group of permutations of some basic elements named atoms. It provides a way of representing in- finite structures in a discrete manner, by employing only finitely many characteristics. In this paper we present some (finiteness and fixed point) properties of finitely supported self-mappings defined on the finite power set of atoms.

Romanian Academy, Institute of Computer Science,
Iași, Romania


Adobe PDF document0.15 Mb