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 x$ and power indicators $card_0(x)...card_n(x)$.

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