Euler's φ-function in the context of ΙΔo
Publication date
1994-03
Authors
Jumelet, M.D.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
It is demonstrated that we can represent Euler's φ-function by means of a Δ0-formula in such a way that the theory ΙΔ0 proves the recursion equations that are characteristic for this function.