Суперпозиции элементарных арифметических функций

Найдено новое компактное доказательство теоремы: система функций $\{x+y,x\divy,\lfloor x/y\rfloor,2^x\}$ порождает класс функций, элементарных по Кальмару. В доказательстве использован приём устранения оператора ограниченного суммирования.
Библ. 14.