An arithmetic term for the factorial function

As proved by Marchenkov and Mazzanti, every Kalmar function can be represented by arithmetic terms. We display one of such terms to represent the factorial function, and as a consequence, we get an example of an arithmetic term which represents a function whose image is the set of primes.

Bibliographic Details
Main Authors: Mihai Prunescu, Lorenzo Sauras-Altuzarra
Format: Article
Language:English
Published: Elsevier 2024-06-01
Series:Examples and Counterexamples
Subjects:
Online Access:http://www.sciencedirect.com/science/article/pii/S2666657X24000028