Euler's φ-function in the context of ΙΔo
DSpace/Manakin Repository
Euler's φ-function in the context of ΙΔo
Jumelet, M.D.
(1994) Logic Group Preprint Series, volume 108
(Preprint)
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.
show less
Download/Full Text
Open Access version via Utrecht University Repository
See
more statistics
about this item