zbMATH — the first resource for mathematics

Superpositions of elementary arithmetic functions. (Russian) Zbl 1249.03079
Summary: A new concise proof of the following theorem is found: The system of four functions $$\{x+y,x\dot{-}y,\lfloor x/y\rfloor,2^x\}$$ induces the class of Kalmar elementary functions. An elimination mode of bounded summation is used in the proof.

MSC:
 03D20 Recursive functions and relations, subrecursive hierarchies 03C57 Computable structure theory, computable model theory