×

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
PDF BibTeX XML Cite