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