Part 3. Mathematical models

On algebraic system created from set algebra by adding the set power indicator

I. S. Kapustin

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: This paper concerns the properties of the functional system $C_n$. This system has the domain $2^\mathbb{Z}$, and is generated by functions $2^\mathbb{Z}\setminus x$, $ x \cup y $, $ x \cap y $ and power indicators $card_0(x)$ . . . $card_n(x)$.

Keywords: functional system, precomplete class, set algebra, completion criteria