Authors: Andrei Alexandru
Keywords: finitely supported structures, atoms, finite pow-
erset, injectivity, surjectivity, fixed points.
Abstract
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
E-mail:
Fulltext
–
0.15 Mb