О мощности следов классов неоднородных функций

В работе изучаются замкнутые классы неоднородных функций $f\colon\{0,1\}^n\times\{0,3\}^m\to\{0,1\}$ [1], содержащих в качестве подклассов булевских функций (б. ф.) фиксированные классы Поста [2] (следы). Мощность множества всех классов с заданным следом $Q$ называется мощностью следа. Устанавливается, что следы $Q$ вида $P_i$, $S_j$ и $O_k$; $i,j=1,3,5,6$; $k=1,\dots,9$; имеют мощность континуума. Ранее были установлены конечность мощности следов $C_1$, $C_2$, $C_3$, $C_4$, [3] и счетность следов $L_1$ и $L_3$ [4] Таким образом, для мощности следов реализуемы конечные, счетные и континуальные значения.