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.
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Elsevier
2024-06-01
|
Series: | Examples and Counterexamples |
Subjects: | |
Online Access: | http://www.sciencedirect.com/science/article/pii/S2666657X24000028 |